Karthikeyan Bhargavan

Statistics

Publications

Citations

5.7K

H-Index

Active since

2000

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft Research (United Kingdom)

Microsoft (United States)

State Key Laboratory of Cryptology

CryptoExperts (France)

Karthikeyan Bhargavan is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and security protocols.

ORCID

Publications per year

2000–2025

Publications

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

Computing, Computer Science, Cybersecurity +13

Imperfect Forward Secrecy

David Adrian, Karthikeyan Bhargavan, Zakir Durumeric et al. · 2015 · 334 citations · Full text

Computing, Computer Science, Cybersecurity +14

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

Computing, Computer Science, Formal Methods +16

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 228 citations · Full text

Computing, Computer Science, Cybersecurity +17

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

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 73