Security
Security (M1)
Useful resources: For the fomalization of term algebra, and process algebras, David Baelde's lecture notes.
For the decidability of deducibility constraints, the legacy lecture notes from the MPRI M2 course.
The homework (deadline 7th of january 2025 midnight). DM