Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karthikeyan Bhargavan
Imperfect Forward Secrecy
Communications of the ACM
Computer Science
Secure Distributed Programming With Value-Dependent Types
ACM SIGPLAN Notices
Computer Science
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Dependent Types and Multi-Monadic Effects in F*
ACM SIGPLAN Notices
Computer Science
Formally Verified Cryptographic Web Applications in WebAssembly
A Formal Treatment of Accountable Proxying Over TLS
A Secure Compiler for Session Abstractions
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
A Semantics for Web Services Authentication
ACM SIGPLAN Notices
Secure Implementations for Typed Session Abstractions
20th IEEE Computer Security Foundations Symposium (CSF'07)
A Semantics for Web Services Authentication