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: