(TD) Introduction to Security
Academic year 2025-2026
ENS Paris-Saclay, Gif-sur-Yvette, France
M1 -- DER Informatique
Course given with Guillaume Scerri.
See Course link
Exercises sheets
- TD 1 – Security properties and process calculus
- TD 2 – Security properties in the symbolic model
- TD 3 – Deduction system for the symbolic setting
- TD 4 – Intruder deduction problem and locality
- TD 5 – Deducibility constraints in the symbolic setting
- TD 6 – Provable cryptography - cryptographic assumptions