Current Year (2017-2018)
- MPRI-2-30: 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.
- ACN-910: I am teaching part of the Master ACN course on Protocol Verification and Safety. For this year's slides and teaching materials, look at 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]