Security protocols courseThis is the website of the Security protocols (SEP) course, taught to the master students of the SIF program and to the students of the master in Cryptography, in Rennes. The description of the course can be found here.
Lecture notes and other materialLecture notes, slides, exercises and other material for this course is available on Moodle.
Security protocols challengeThe topic and the results of the challenge which is part of this course are available on Moodle.
ReferencesThis course is primarily based on the following sources
- Cas Cremers and Sjouke Mauw, Operational Semantics and Verification of Security Protocols, Springer-Verlag, 2012.
- Véronique Cortier and Steve Kremer, Formal Models and Techniques for Analyzing Security Protocols: A Tutorial, Foundations and Trends in Programming Languages 1(3): 151-267 (2014).