Karthikeyan Bhargavan

Publications

5.6K

Citations

H-Index

2000

Active since

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 engineering, computer science, and data security.

ORCID

Top concepts

EngineeringComputer ScienceData SecurityFormal VerificationCryptographyInformation SecurityFormal MethodsVerificationSoftware AnalysisData Privacy

Publications per year

2000–2025

Publications

Formal Verification of Smart Contracts

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

Engineering, Information Security, Verification +23

Imperfect Forward Secrecy

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

Cryptographic Primitive, Engineering, Information Security +19

Dependent types and multi-monadic effects in F*

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

Engineering, Type Theory, Verification +16

Refinement types for secure implementations

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

Engineering, Information Security, Type Theory +22

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

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

Cryptographic Primitive, Engineering, Information Security +23

Rows per page

1–5 of 73