FOSAD'24, CryptoVerif: Mechanizing Game-Based Proofs of Security Protocols

Slides

1. Introduction
2. CryptoVerif
3. Exercises
4. Correspondences

Demo examples

1. CryptoVerif library of primitives
2. encrypt-then-MAC:
   • Monolithic version
   • Version with separate processes
   • Version with separate processes and functions
3. Full domain hash