2026 Karthikeyan Bhargavan: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	49	5902	5735	122	120	124	9417

Overview

Karthikeyan Bhargavan is affiliated with the French Institute for Research in Computer Science and Automation (INRIA) in France. Their research primarily focuses on several areas within computer science and engineering, with significant contributions to both theoretical and applied aspects of security and cryptography.

Their research spans multiple fields including:

Computer Science
Engineering

Within these domains, their specific subfields of study include:

Computer Networks and Communications
Information Systems
Artificial Intelligence
Signal Processing
Control and Systems Engineering

The main topics covered in their work are:

Advanced Authentication Protocols Security
User Authentication and Security Systems
Cryptography and Data Security
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Peer-to-Peer Network Technologies
Caching and Content Delivery

Karthikeyan Bhargavan has contributed to a number of research papers published in recognized venues including:

"A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello," 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
"SoK: Computer-Aided Cryptography," 2023, IACR Cryptology ePrint Archive
"Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations," 2022, 2022 IEEE Symposium on Security and Privacy (SP)
"KyberSlash: Exploiting secret-dependent division timings in Kyber implementations," 2025, IACR Transactions on Cryptographic Hardware and Embedded Systems
"A Mechanically Verified Garbage Collector for OCaml," 2025, Journal of Automated Reasoning

The scientist has collaborated frequently with other researchers such as Abhishek Bichhawat, Franziskus Kiefer, Pedram Hosseyni, Ralf Küsters, and Guido Schmitz.

Their work also includes contributions to book publications, notably with Springer Science+Business Media through a publication titled "Progress in Cryptology - INDOCRYPT 2020," which was released in 2020.

The venues where they have published reflect a focus on security, cryptography, and automated reasoning, including:

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
IACR Transactions on Cryptographic Hardware and Embedded Systems
2022 IEEE Symposium on Security and Privacy (SP)
IACR Cryptology ePrint Archive
Journal of Automated Reasoning

Best Publications

Formal Verification of Smart Contracts: Short Paper

Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cédric Fournet;Anitha Gollamudi

746
Citations
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice

David Adrian;Karthikeyan Bhargavan;Zakir Durumeric;Pierrick Gaudry

648
Citations
Verified reference implementations of WS-Security protocols

Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

470
Citations
Dependent types and multi-monadic effects in F*

Nikhil Swamy;Cătălin Hriţcu;Chantal Keller;Aseem Rastogi

405
Citations
A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche;Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cedric Fournet

355
Citations
Refinement types for secure implementations

Jesper Bengtson;Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

329
Citations
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

Karthikeyan Bhargavan;Antoine Delignat Lavaud;Cédric Fournet;Alfredo Pironti

274
Citations
Secure distributed programming with value-dependent types

Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

265
Citations
Formal verification of standards for distance vector routing protocols

Karthikeyan Bhargavan;Davor Obradovic;Carl A. Gunter

259
Citations
Implementing TLS with Verified Cryptographic Security

K. Bhargavan;C. Fournet;M. Kohlweiss;A. Pironti

257
Citations
HACL*: A Verified Modern Cryptographic Library.

Jean Karim Zinzindohoué;Karthikeyan Bhargavan;Jonathan Protzenko;Benjamin Beurdouche

243
Citations
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

Karthikeyan Bhargavan;Bruno Blanchet;Nadim Kobeissi

242
Citations
On the Practical (In-)Security of 64-bit Block Ciphers: Collision Attacks on HTTP over TLS and OpenVPN.

Karthikeyan Bhargavan;Gaëtan Leurent

228
Citations
Verified interoperable implementations of security protocols

Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon;Stephen Tse

224
Citations
Verified interoperable implementations of security protocols

K. Bhargavan;C. Fournet;A.D. Gordon;S. Tse

205
Citations
Discovering concrete attacks on website authorization by formal analysis

Chetan Bansal;Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Sergio Maffeis

196
Citations
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Nadim Kobeissi;Karthikeyan Bhargavan;Bruno Blanchet

173
Citations
Modular verification of security protocol code by typing

Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

159
Citations
Cryptographically verified implementations for TLS

Karthikeyan Bhargavan;Cédric Fournet;Ricardo Corin;Eugen Zalinescu

154
Citations
Transcript Collision Attacks: Breaking Authentication in TLS, IKE and SSH.

Karthikeyan Bhargavan;Gaëtan Leurent

150
Citations
Secure distributed programming with value-dependent types

Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

58
Citations
A messy state of the union: taming the composite state machines of TLS

Benjamin Beurdouche;Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cédric Fournet

20
Citations

Frequent Co-Authors

Cédric Fournet Microsoft (United States)

Andrew D. Gordon Microsoft (United States)

Markulf Kohlweiss University of Edinburgh

Nikhil Swamy Microsoft (United States)

Carl A. Gunter University of Illinois at Urbana-Champaign

Marc Shapiro Sorbonne University

Matthew Green Johns Hopkins University

Bruno Blanchet French Institute for Research in Computer Science and Automation - INRIA

Bryan Parno Carnegie Mellon University

Oleg Sokolsky University of Pennsylvania

External Links

Personal website of Karthikeyan Bhargavan Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Computer Science serves as the foundation for many in-demand professions. If you’re exploring alternative or supplemental online degrees, there are several options offering flexibility and strong career outlooks.

For those interested in security, a master's degree in cybersecurity online can lead to roles in IT security, risk analysis, and forensics. Construction-focused professionals might pursue an affordable online construction management degree to move into project management and leadership positions in the building sector.

If your interests lie in justice or compliance, the cheapest online master's degree in criminal justice can prepare you for administrative, supervisory, or analytical roles. Alternatively, numbers-driven students often excel in finance with an online accounting degree, opening doors to jobs in accounting, auditing, and financial management.

Each of these online degrees supports career mobility and allows you to gain skills at your own pace, potentially leading to high-paying and stable careers related to or alongside Computer Science.