(TD) Introduction to Security
Academic year 2024-2025
ENS Paris-Saclay, Gif-sur-Yvette, France
M1 -- DER Informatique
Course given with Théo Vignon, Caroline Fontaine and Guillaume Scerri.
See Course link.
Exercises sheets
- TD 1 – LTS, security properties, process calculus
- TD 2 – Security properties in the symbolic model
- TD 3 – Deduction system for the symbolic setting
- TD 4 – Computational model and security assumptions
- TD 5 – Toward computational security of protocols
- TD 6 – Deducibility constraints in the symbolic setting