Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


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.