Cyber in Saclay -- Winter School in Cybersecurity, 8-12 Feb 2021

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

Jasmin/EasyCrypt Installation Instructions

We provide a VirtualBox appliance with all the necessary tools & materials for the school.

You must first install VirtualBox for your platform and then import the downloaded .ova appliance.

The system is based on the last Ubuntu LTS. The material is located in ~/material. From there, you can run make check to check the installation.

We are going to mainly use Emacs, that is preinstalled & configured, as an interface for the different tools.

The school material can also be downloaded from here.

Last modified 3 months ago Last modified on 11 Feb 2021, 14:25:46