Verifying Cryptographic Protocols

Abstract

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.