17 Mar 2022 → 21 Avr 2022 Séminaire Sécurité du logiciel : quel rôle pour les langages de programmation ? 17 Mar 2022 → 21 Avr 2022 Partager Facebook X (ex-Twitter) Linkedin Copier le lien
du Jeudi 17 mars au Jeudi 21 avril 2022 Voir aussi : Cours associéXavier Leroy Documents et médias Télécharger le programme pdf (639.92 Ko) Programme Cours 09:30 - 11:00 Sécurité du logiciel : introduction et études de cas Xavier Leroy 10 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00 Cours 09:30 - 11:00 Flux d'information Xavier Leroy 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Influence de la qualité des spécifications sur la sécurité logicielle Olivier Levillain 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15 Cours 09:30 - 11:00 Isolation logicielle Xavier Leroy 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15 Cours 09:30 - 11:00 Tempus fugit : attaques par observation du temps Xavier Leroy 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15 Cours 09:30 - 11:00 Typage et sécurité Xavier Leroy 07 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Attaques par injection de faute et protections logicielles Karine Heydemann 07 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2022 11:15 - 12:15 Cours 09:30 - 11:00 Compilation et sécurité Xavier Leroy 14 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Avr 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Obfuscation du logiciel : brouiller le code pour protéger les programmes Sandrine Blazy 14 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Avr 2022 11:15 - 12:15 Cours 09:30 - 11:00 Calculer sur des données chiffrées ou privées Xavier Leroy 21 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Avr 2022 09:30 - 11:00 Séminaire 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Avr 2022 11:15 - 12:15 Voir aussi Cours en relation avec le séminaire : Sécurité du logiciel : quel rôle pour les langages de programmation ? Xavier Leroy, chaire Sciences du logiciel
Cours 09:30 - 11:00 Sécurité du logiciel : introduction et études de cas Xavier Leroy 10 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00
Cours 09:30 - 11:00 Flux d'information Xavier Leroy 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Influence de la qualité des spécifications sur la sécurité logicielle Olivier Levillain 17 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15
Cours 09:30 - 11:00 Isolation logicielle Xavier Leroy 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15
Cours 09:30 - 11:00 Tempus fugit : attaques par observation du temps Xavier Leroy 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15
Cours 09:30 - 11:00 Typage et sécurité Xavier Leroy 07 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Attaques par injection de faute et protections logicielles Karine Heydemann 07 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2022 11:15 - 12:15
Cours 09:30 - 11:00 Compilation et sécurité Xavier Leroy 14 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Avr 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Obfuscation du logiciel : brouiller le code pour protéger les programmes Sandrine Blazy 14 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Avr 2022 11:15 - 12:15
Cours 09:30 - 11:00 Calculer sur des données chiffrées ou privées Xavier Leroy 21 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Avr 2022 09:30 - 11:00
Séminaire 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Avr 2022 Sécurité du logiciel : quel rôle pour les langages de programmation ? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Avr 2022 11:15 - 12:15
