EasyCrypt: Computer-Aided Cryptographic Proofs
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. Initial applications of EasyCrypt focus on encryption and signature schemes.
However, the initial prototype has been extended significantly to reason about the security of cryptographic systems, which achieve specific functionalities through intricate combinations of several primitives. These developments have expanded significantly the scope of potential applications of EasyCrypt, as reflected in our recent formalization of secure function evaluation and verifiable computation. Moreover, they have enabled the formalization of examples that were previously out of scope, for instance modular proofs of security for key-exchange protocols.
EasyCrypt is being developed jointly by the Computer-Aided Cryptography Group at the IMDEA Software Institute and by Inria.
You can get EasyCrypt via our public git repository (browse):
git clone https://github.com/EasyCrypt/easycrypt.git
Note that the current release of EasyCrypt (version 1.0) is still being actively developed. We do not guarantee backwards compatibility.
- The IACR School on Computer-aided Cryptography will take place at University of Maryland, College Park, USA on June 1- 4 2015 and provide an hands-on introduction to EasyCrypt.
- The Joint EasyCrypt/F*/CryptoVerif School, 24-28 November 2014 in Paris. (You can download the EasyCrypt material)
- First EasyCrypt summer school and workshop: July 2013, UPenn.
Support for installing and using EasyCrypt can be obtained through the EasyCrypt club mailing list.
Support requests that include clearly marked non-public information can be sent to support @ easycrypt.info. In any other case, use the EasyCrypt club mailing list: our answers to you may also help others.
See our team web page for a description of the team and a list of related projects.
See our dedicated page for a list of related publications.