Teaching

MPRI 2.30: Proofs of Security Protocols

The slides of the lectures presenting the CCSA approach to computational security are available here. Also, some exercice sheets: