Barbara FILA (Kordy)

Security protocols (SEP), master SIF, Rennes

Security protocols course

This 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 material

Lecture notes, slides, exercises and other material for this course is available on Moodle.

Security protocols challenge

The topic and the results of the challenge which is part of this course are available on Moodle.


This 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).

Course timetable

Verify the location of the next lecture here.