31 Mar 2022
11:15 - 12:15
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles


Karthikeyan Bhargavan
URL de la vidéo

The security of the Web relies on cryptographic protocols, i.e. distributed programs that use cryptography to protect sensitive data against subtle attacks from powerful adversaries that fully control the network. However, despite decades of careful study, theoretical and practical attacks continue to be found in real-world cryptographic protocols like Transport Layer Security (TLS). In this seminar, we will look at what goes wrong in these protocols, and we will discuss how formal verification can be used to eliminate certain classes of attacks against implementations of modern protocols like TLS 1.3 and Signal.