Section: New Software and Platforms
Easycrypt
Participants : Gilles Barthe [IMDEA Software Institute] , François Dupressoir [IMDEA Software Institute] , Benjamin Grégoire [correspondant] , César Kunz [IMDEA Software Institute] , Benedikt Schmid [IMDEA Software Institute] , Pierre-Yves Strub [IMDEA Software Institute] .
EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. EasyCrypt can also be used for reasoning about differential privacy.