Influence de la qualité des spécifications sur la sécurité logicielle

Entrée en langue française / French entry Catégorie: Conférence invitée
Auteur: Olivier Levillain
Date: 17 mars 2022

Les systèmes d'information que nous utilisons quotidiennement sont d'une grande complexité. Ils reposent en particulier sur l'implémentation de protocoles réseau et sur l'interprétation de documents aux formats variés. Dans ce séminaire, nous nous intéresserons aux spécifications décrivant ces protocoles et ces formats.

En effet, nous verrons que la manière dont ils sont spécifiés peut avoir des conséquences sur la sécurité de leurs implémentations. Pour cela, nous étudierons Mini-PNG, un format d'images utilisé dans un module d'enseignement en programmation, mais également le format PDF et le protocole TLS.

Présenté lors de la conférence Collège de France à Paris, France le 17 mars 2022

BibTeX Présentation Lien vers le site du séminaire