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.

I assist with the following courses in the computer science department at Ecole Polytechnique.

I have taught the following short courses at summer schools and elsewhere.