wiki:VeriCrypt20

VeriCrypt: An Introduction to Tools for Verified Cryptography, 10-11 December, 2020

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

Lecture recording

https://www.easycrypt.info/JasminECTutorial.mp4

Last modified 2 weeks ago Last modified on 2 Sep 2021, 14:55:38