Downgrade Resilience in Key-Exchange Protocols (Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet , Matthew Green, and Markulf Kohlweiss and Santiago Zanella-Béguelin) In IEEE Symposium on Security and Privacy 2016 (Oakland), 2016.
Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSH (Karthikeyan Bhargavan and Gaëtan Leurent), In Network and Distributed System Security Symposium (NDSS), 2016. (PDF)
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice (David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella-Béguelin, and Paul Zimmermann) In ACM Conference on Computer and Communications Security (CCS), 2015. (PDF)
Best Paper Award Winner
Also won Pwnie for Most Innovative Research awarded by Blackhat conference: Awarded to the person who published the most interesting and innovative research in the form of a paper, presentation, tool or even a mailing list post.
FLEXTLS: A Tool for Testing TLS Implementations (Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan), In USENIX Workshop on Offensive Technologies (WOOT), 2015. (PDF)
A Messy State of the Union: Taming the Composite State Machines of TLS (Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue), In IEEE Symposium on Security & Privacy 2015 (Oakland), 2015. (PDF)
Network-based Origin Confusion Attacks against HTTPS Virtual Hosting (Antoine Delignat-Lavaud, Karthikeyan Bhargavan), In proceedings of the 24th International Conference on World Wide Web (WWW'15). (PDF)
Proving the TLS Handshake Secure (As It Is) (Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin), In CRYPTO 2014: 235-255 (PDF, Technical Report, Video).
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, and Pierre-Yves Strub). In IEEE Symposium on Security and Privacy (Oakland), 2014. (PDF, website)
Implementing TLS with Verified Cryptographic Security (Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub ), In IEEE Symposium on Security and Privacy (Oakland), 2013. (PDF, Technical Report)
