Current Year (2019-2020)
- MPRI-2-30: I am teaching part of the MPRI course on Cryptographic protocols: formal and computational proofs. Course materials for my lectures from 2013 can be found on this page.
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]