Formal Verification for Cryptographic Systems in Web Applications - Nadim Kobeissi
This talk will introduce the world of formal verification with many fascinating and interesting examples: secure messaging, TLS, the Noise Protocol Framework, secure collaborative document editing, and even formally verified public ledgers.
Nadim Kobeissi - an applied cryptography researcher at INRIA in Paris, with peer-reviewed publications focusing on applied cryptography, privacy, and automated protocol verification. Nadim is also the founder and director of Symbolic Software, an applied cryptography research office.