Teaching
MPRI 2.30: Proofs of Security Protocols
The slides of the lectures presenting the CCSA approach to computational security are available below:
Exercice sheet:
Archives
2023-2024
MPRI 2.30: Proofs of Security Protocols
The slides of the lectures presenting the CCSA approach to computational security are available below:
Exercice sheets:
2022-2023
MPRI 2.30: Proofs of Security Protocols
The slides of the lectures presenting the CCSA approach to computational security are available below:
Exercice sheets:
- TD1
- TD2 ( correction)