Karthikeyan Bhargavan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
16
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PERCOM | embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms. | Elsa Lpez Prez, William Takeshi Pereira, Thomas Watteyne, Christian Amsss, Franziskus Kiefer, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Malisa Vucinic |
| 2025 | CCS | Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. | Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters |
| 2025 | SP | TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security. | Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan |
| 2023 | CCS | Comparse: Provably Secure Formats for Cryptographic Protocols. | Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan |
| 2023 | ESORICS | Layered Symbolic Security Analysis in $\textsf {DY}^\star $. | Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Ksters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Wrtele |
| 2022 | CCS | A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello. | Karthikeyan Bhargavan, Vincent Cheval, Christopher A. Wood |
| 2022 | SP | Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. | Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan |
| 2021 | CCS | An In-Depth Symbolic Security Analysis of the ACME Standard. | Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Tim Wrtele |
| 2020 | CCS | HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). | Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Bguelin |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | SP | Formally Verified Cryptographic Web Applications in WebAssembly. | Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan |
| 2018 | SP | A Formal Treatment of Accountable Proxying Over TLS. | Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete |
| 2017 | CCS | HACL*: A Verified Modern Cryptographic Library. | Jean Karim Zinzindohou, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche |
| 2017 | FC | Formal Modeling and Verification for Domain Validation and ACME. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi |
| 2017 | SP | Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate. | Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | CCS | On the Practical (In-)Security of 64-bit Block Ciphers: Collision Attacks on HTTP over TLS and OpenVPN. | Karthikeyan Bhargavan, Gatan Leurent |
| 2016 | NDSS | Transcript Collision Attacks: Breaking Authentication in TLS, IKE and SSH. | Karthikeyan Bhargavan, Gatan Leurent |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | SP | Downgrade Resilience in Key-Exchange Protocols. | Karthikeyan Bhargavan, Christina Brzuska, Cdric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2015 | CCS | 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-Bguelin, Paul Zimmermann |
| 2015 | NDSS | Verified Contributive Channel Bindings for Compound Authentication. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti |
| 2015 | WWW | Network-based Origin Confusion Attacks against HTTPS Virtual Hosting. | Antoine Delignat-Lavaud, Karthikeyan Bhargavan |
| 2015 | SP | A Messy State of the Union: Taming the Composite State Machines of TLS. | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |
| 2014 | CRYPTO | Proving the TLS Handshake Secure (As It Is). | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin |
| 2014 | POPL | Gradual typing embedded securely in JavaScript. | Nikhil Swamy, Cdric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman |
| 2014 | SP | Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Alfredo Pironti, Pierre-Yves Strub |
| 2013 | SP | Implementing TLS with Verified Cryptographic Security. | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub |
| 2011 | ICFP | Secure distributed programming with value-dependent types. | Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
| 2010 | APLAS | Typechecking Higher-Order Security Libraries. | Karthikeyan Bhargavan, Cdric Fournet, Nataliya Guts |
| 2010 | POPL | Modular verification of security protocol code by typing. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2009 | HASKELL | A compositional theory for STM Haskell. | Johannes Borgstrm, Karthikeyan Bhargavan, Andrew D. Gordon |
| 2008 | CCS | Cryptographically verified implementations for TLS. | Karthikeyan Bhargavan, Cdric Fournet, Ricardo Corin, Eugen Zalinescu |
| 2008 | CCS | Verified implementations of the information card federated identity-management protocol. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon, Nikhil Swamy |
| 2008 | Coordination | Service Combinators for Farming Virtual Machines. | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
| 2005 | PODC | Brief announcement: exploring the consistency problem space. | Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan |
| 2004 | CCS | Verifying policy-based security for web services. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2004 | OPODIS | A Constraint-Based Formalism for Consistency in Replicated Systems. | Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna |
| 2004 | POPL | A semantics for web services authentication. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2001 | POPL | What packets may come: automata for network monitoring. | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |