Formal Proofs of Security Protocols

ENS Paris-Saclay / MPRI, 2018-2019

This is the live page of David Baelde's part of the MPRI 2-30 course, for year 2018-2019.

All sessions take place in room 1003 of the Sophie Germain building.

Lecture notes

I am writing lecture notes as we go; please check out this URL regularly for updated versions.

My lecture notes mostly aim at providing a self-contained account of the semantical aspects of the course, and detailing a few points that are not covered in legacy lecture notes. For some of the course's content, the reference will be these legacy lecture notes, the slides, or an academic article.

Agenda & Teaching Material

Final examination

Try the 2017-18 exercises.