MPRI 2.30: Proofs of Security Protocols

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

• slides 1

Archives

2024-2025

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

• slides 1
• slides 2
• slides 3
• slides 4

Exercice sheet:

• TD1
• TD2 ( correction)

Past exam:

• subject
• correction