ConCollector
our blog
|
more on thinkst
Search:
Everything
Browse:
Speakers
Conferences
Topics
Contributors
Analytics
Folklore
About
Login
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