Bruno Blanchet [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol IEEEEuroS&P-2019 - Stockholm, Sweden
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach EuroSP-2017 - paris,france
From Computationally-proved Protocol Specifications to Implementations International Conference on Availability, Reliability and Security-2012 - Prague, Czech Republic
Automatically Verified Mechanized Proof of One-Encryption Key Exchange 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA Security