Résumé
La sécurité du Web repose sur des protocoles cryptographiques : des programmes distribués qui utilisent le chiffrement et la signature pour protéger les données sensibles des nombreuses attaques que les adversaires qui contrôlent le réseau peuvent mener. Malgré trente ans d’études, on continue à découvrir des vulnérabilités théoriques ou pratiques dans les protocoles cryptographiques du Web, notamment TLS (Transport Layer Security). Le conférencier a décrit plusieurs de ces vulnérabilités et montré comment la vérification formelle permet d’exclure certaines classes d’attaques sur les implémentations de protocoles modernes tels que TLS 1.3 et Signal.
