Karthikeyan Bhargavan [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
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols IEEEEuroS&P-2019 - Stockholm, Sweden
Formally Verified Cryptographic Web Applications in WebAssembly IEEESymposium-2019 - San Francisco, US
HACL* in Mozilla Firefox : YouTube RWC-2018 - zurich,switzerland
Content delivery over TLS: a cryptographic analysis of Keyless SSL EuroSP-2017 - paris,france
Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach EuroSP-2017 - paris,france
Transcript Collision Attacks: Breaking Authentication in TLS, IKE and SSH NDSS-2016 - california,usa
No More Downgrades: Protecting TLS from Legacy Crypto RWC-2016 - stanford,usa
FLEXTLS: A Tool for Testing TLS Implementations WOOT-2015 - washington,USA
Verified Contributive Channel Bindings for Compound Authentication NDSS-2015 - san diego,usa
Panel Session :Formal Verification and Analysis of Protocols in Standards Development and Evolution SSR-2014 - London,UK
Proving the TLS Handshake Secure (as it is) crypto-2014 - california,usa
Language-based Defenses Against Untrusted Browser Origins USENIX-2013 - Washington, D.C.
Discovering Concrete Attacks on Website Authorization by Formal Analysis 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA