I am teaching part of the MPRI course on Cryptographic protocols: formal and computational proofs. Course materials for my lectures in 2013 can be found on this page.
- INF431: Algorithmes et Programmation: du séquentiel au distribué
- INF321: Les principes des langages de programmation
I have taught the following short courses at summer schools and elsewhere.
- Formal Security Analysis of Cryptographic Protocol Code
- Verifying Web Services Security, Karthikeyan Bhargavan, Bertinoro, June 2009. [slides]