Teaching

MPRI 2.30: Proofs of Security Protocols

The slides of the lectures are available below:

• slides 1

Past year (2025-2026)

The slides of the lectures presenting the CCSA approach to computational security are available below:

• slides 1
• slides 2
• slides 3

Exercice sheet:

• TD1 ( solution, only excercise 2)
• TD2 ( solution)

Cheat-sheet.

Past exam:

• subject
• correction