Karthikeyan Bhargavan

Available identifiers

Publication	Date of Publication	Type
Practical Formal Methods for Real World Cryptography (Invited Talk)	2023-02-03	Paper
A tutorial-style introduction to \(\mathsf{DY}^{\star}\)	2022-07-13	Paper
Formal Modeling and Verification for Domain Validation and ACME	2021-03-17	Paper
Dependent types and multi-monadic effects in \(\mathrm{F}^*\)	2016-10-24	Paper
Formal verification of standards for distance vector routing protocols	2015-12-07	Paper
A semantics for web services authentication	2015-11-11	Paper
Modular verification of security protocol code by typing	2015-06-11	Paper
What packets may come	2015-03-17	Paper
Secure distributed programming with value-dependent types	2015-03-05	Paper
Proving the TLS Handshake Secure (As It Is)	2014-08-07	Paper
Gradual typing embedded securely in JavaScript	2014-04-10	Paper
Secure distributed programming with value-dependent types	2014-02-27	Paper
Cryptographic Verification by Typing for a Sample Protocol Implementation	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q5447364	2008-03-06	Paper
Network event recognition	2006-01-23	Paper
Principles of Distributed Systems	2005-12-15	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
A semantics for web services authentication	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2754032	2001-11-11	Paper

This page was built for person: Karthikeyan Bhargavan