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