EasyCrypt-F*-CryptoVerif School 2014

The school website has been disbanded.

You will find on this page the materials relative to the EasyCrypt part.

EasyCrypt Materials

EasyCrypt Installation Instructions

We provide binary packages for EasyCrypt. You can download them at the following URL

Download the tarball corresponding to your system, untar it (this will create an easycrypt folder) and run the script run-easycrypt. The Emacs editor should pop-up. You can then open any EasyCrypt file (ending with the .ec extension) and start hacking it.

  • Note for Linux users:
    • you must have emacs installed on your system.
  • Note for Windows users:
    • EasyCrypt support under Windows is beta.
    • Under Windows 8, calls to SMT solvers might pop-up some console window that should get closed when the solver is done.
    • the SMT prover eprover is not available on your platform.

Note that you might have to redownload the binary package on Monday. If you installed EasyCrypt before the 23rd (exclusive) of November, redownload the binary packages or update your source tree and reinstall it.

In case you come to the EasyCrypt tutorials without EasyCrypt installed, you will be able to get it from USB keys.

A source distribution of EasyCrypt is also available. Installation instructions can be found in the README​ file. We strongly suggest that you try using the binary packages first.

Last modified 12 months ago Last modified on 15 Apr 2016, 10:29:03

Attachments (9)