wiki:WikiStart

Version 6 (modified by Charlie Root, 6 years ago) (diff)

Remove trac links.

EasyCrypt: Computer-Aided Cryptographic Proofs

Overview

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 (vanilla, approximate, and computational) differential privacy.

EasyCrypt has been used to prove the security of emblematic cryptographic constructions, including the Cramer-Shoup cryptosystem, the OAEP padding scheme, the Full Domain Hash signature scheme, the Merkle-Damgård hash function design, and the CBC block cipher mode of operation.

Downloads

You can get EasyCrypt 1.0 via our public git repository:

git clone http://ci.easycrypt.info/easycrypt.git

Installation instructions can be found here?.

Contact

You can contact the developers by sending an email to the EasyCrypt support mailing list. However, we encourage you to use the EasyCrypt club mailing list for general questions.