EasyCrypt is an interactive framework for verifying the security of cryptographic constructions...