- Sécurité du logiciel : quel rôle pour les langages de programmation ? Présentation
- 10 mars 2022 09:30 11:00 Cours Sécurité du logiciel : introduction et études de cas Xavier Leroy
- 17 mars 2022 09:30 11:00 Cours Flux d'information Xavier Leroy
- 17 mars 2022 11:15 12:15 Séminaire Influence de la qualité des spécifications sur la sécurité logicielle Olivier Levillain
- 24 mars 2022 09:30 11:00 Cours Isolation logicielle Xavier Leroy
- 24 mars 2022 11:15 12:15 Séminaire Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi
- 31 mars 2022 09:30 11:00 Cours Tempus fugit : attaques par observation du temps Xavier Leroy
- 31 mars 2022 11:15 12:15 Séminaire Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan
- 07 avril 2022 09:30 11:00 Cours Typage et sécurité Xavier Leroy
- 07 avril 2022 11:15 12:15 Séminaire Attaques par injection de faute et protections logicielles Karine Heydemann
- 14 avril 2022 09:30 11:00 Cours Compilation et sécurité Xavier Leroy
- 14 avril 2022 11:15 12:15 Séminaire Obfuscation du logiciel : brouiller le code pour protéger les programmes Sandrine Blazy
- 21 avril 2022 09:30 11:00 Cours Calculer sur des données chiffrées ou privées Xavier Leroy
- 21 avril 2022 11:15 12:15 Séminaire Transient Execution Attacks and Defenses Frank Piessens