Teaching
MPRI 2.30: Proofs of Security Protocols
The slides of the lectures presenting the CCSA approach to computational security are available below:
Exercice sheets:
Past lecture: 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)