Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Karthikeyan Bhargavan

Imperfect Forward Secrecy

Communications of the ACM
Computer Science
2018English

Secure Distributed Programming With Value-Dependent Types

ACM SIGPLAN Notices
Computer Science
2011English

Modular Verification of Security Protocol Code by Typing

ACM SIGPLAN Notices
Computer Science
2010English

Dependent Types and Multi-Monadic Effects in F*

ACM SIGPLAN Notices
Computer Science
2016English

Formally Verified Cryptographic Web Applications in WebAssembly

2019English

A Formal Treatment of Accountable Proxying Over TLS

2018English

A Secure Compiler for Session Abstractions

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

A Semantics for Web Services Authentication

ACM SIGPLAN Notices
2004English

Secure Implementations for Typed Session Abstractions

20th IEEE Computer Security Foundations Symposium (CSF'07)
2007English

A Semantics for Web Services Authentication

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy