Verifying Cryptographic Protocols


Cryptographic protocols are used in many applications to guarantee their security (e.g. TLS is used to protect communication on the Web). Unfortunately, designing secure cryptographic protocols is hard, as indicated by the large number of attacks regularly found by the security community. In this talk, I will show how computer-aided verification techniques can be used to obtain formal and machine-checked guarantees on the security provided by a cryptographic protocol.

Nov 9, 2023 11:00 AM
Demi-heure de science 2023
Inria Center, 2 rue Simone Iff, Paris

My research interests include formal methods, security, cryptographic protocols and privacy.