What AI says about EasyCrypt

EasyCrypt is an interactive framework for verifying the security of cryptographic constructions in the computational model. It adopts a codebased approach, modeling security goals and hardness assumptions as probabilistic programs to rigorously justify cryptographic reasoning.