EasyCrypt

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 People

• Adrien Koutsos
• Alley Stoughton
• Andreas Hülsing
• Benjamin Grégoire
• Christian Doczkal
• Denis Firsov
• François Dupressoir
• Gilles Barthe
• Lionel Blatter
• Manuel Barbosa
• Matthias Meijers
• Miguel Quaresma
• Pierre-Yves Strub