Karthikeyan Bhargavan
Karthikeyan Bhargavan
Verified email at inria.fr
TitleCited byYear
Imperfect forward secrecy: How Diffie-Hellman fails in practice
D Adrian, K Bhargavan, Z Durumeric, P Gaudry, M Green, JA Halderman, ...
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communicationsá…, 2015
3962015
Refinement types for secure implementations
J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 8, 2011
2582011
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysisá…, 2016
2572016
Formal verification of standards for distance vector routing protocols
K Bhargavan, D Obradovic, CA Gunter
Journal of the ACM (JACM) 49 (4), 538-576, 2002
2312002
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
2015 IEEE Symposium on Security and Privacy, 535-552, 2015
2282015
Secure distributed programming with value-dependent types
N Swamy, J Chen, C Fournet, PY Strub, K Bhargavan, J Yang
ACM SIGPLAN Notices 46 (9), 266-278, 2011
2112011
Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS
K Bhargavan, AD Lavaud, C Fournet, A Pironti, PY Strub
2014 IEEE Symposium on Security and Privacy, 98-113, 2014
1932014
Verified interoperable implementations of security protocols
K Bhargavan, C Fournet, AD Gordon, S Tse
19th IEEE Computer Security Foundations Workshop (CSFW'06), 14 pp.-152, 2006
1852006
Dependent types and multi-monadic effects in F
N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ...
ACM SIGPLAN Notices 51 (1), 256-270, 2016
1762016
Implementing TLS with verified cryptographic security
K Bhargavan, C Fournet, M Kohlweiss, A Pironti, PY Strub
2013 IEEE Symposium on Security and Privacy, 445-459, 2013
1702013
Discovering concrete attacks on website authorization by formal analysis 1
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
1452014
Modular verification of security protocol code by typing
K Bhargavan, C Fournet, A Gordon
1322016
Cryptographically verified implementations for TLS
K Bhargavan, C Fournet, R Corin, E Zalinescu
Proceedings of the 15th ACM conference on Computer and communicationsá…, 2008
1312008
Cryptographic protocol synthesis and verification for multiparty sessions
K Bhargavan, R Corin, PM DeniÚlou, C Fournet, JJ Leifer
2009 22nd IEEE Computer Security Foundations Symposium, 124-140, 2009
1232009
TulaFale: A security tool for web services
K Bhargavan, C Fournet, AD Gordon, R Pucella
International Symposium on Formal Methods for Components and Objects, 197-222, 2003
1132003
Verisim: Formal analysis of network simulations
K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ...
IEEE Transactions on Software Engineering 28 (2), 129-145, 2002
1132002
On the practical (in-) security of 64-bit block ciphers: Collision attacks on HTTP over TLS and OpenVPN
K Bhargavan, G Leurent
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communicationsá…, 2016
1122016
Secure sessions for web services
K Bhargavan, R Corin, C Fournet, AD Gordon
ACM Transactions on Information and System Security (TISSEC) 10 (2), 8, 2007
962007
Verifying policy-based security for web services
K Bhargavan, C Fournet, AD Gordon
Proceedings of the 11th ACM conference on Computer and communicationsá…, 2004
962004
Automatically generating security policies for web services
K Bhargavan, C Fournet, AD Gordon, CG Kaler
US Patent 7,559,080, 2009
952009
The system can't perform the operation now. Try again later.
Articles 1–20