Résumé
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.
