- Formal Methods in Security and Privacy by Marco Gaboardi and Alley Stoughton with a great Lab.
- EasyCrypt: A Tutorial by G. Barthe, François Dupressoir, B. Grégoire, César Kunz, Benedikt Schmidt and Pierre-Yves Strub
- First EasyCrypt School and Workshop
- How to install by Peter Schwabe
- Installation instructions