This page gathers a few links related to the SAC 2021 Summer School lecture on Machine-Checked Cryptography with EasyCrypt and Jasmin

Lecture material

• sac2021_material.tar.bz2 (157kio)
• The doc/ directory contains EasyCrypt and Jasmin cheat-sheets

Documentation

• Jasmin Wiki
• EasyCrypt Wiki

Jasmin theorems

• Compiler correctness
• Compiler security (CCT-preservation)