This tutorial is for the automatic protocol prover CryptoVerif. To start the tutorial follow these steps:
- Clone this GitHub repository to a directory of your choice.
git clone https://github.com/RUB-NDS/AKE-Cryptoverif-Tutorial.git
- Open AKE-Cryptoverif-Tutorial\Tutorial_mdbook\book\index.html with a browser of your choice (tested on Firefox).
You can switch chapters using the panel on the left or by clicking the arrows at the side of each page. Now you are ready to start getting to know CryptoVerif.
This tutorial is free software licensed under the 2-clause BSD license, see LICENSE.md.
This tutorial is made by Marc Hafner. The tutorial was done as a Master's project at the Chair for Network and Data Security, Ruhr-University Bochum.
Advisors: Benjamin Lipp, Marcus Brinkmann
Special thanks to Benjamin for his support, helping me understand CryptoVerif better after each meeting.