Collège de France

  • menu
  • FR
  • EN
  • 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