Karthikeyan Bhargavan

Michael J. May, Karthikeyan Bhargavan: Towards Unified Authorization for Android. ESSoS 2013: 42-57

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis: Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. POST 2013: 126-146

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15(1): 3 (2012)

Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis: Discovering Concrete Attacks on Website Authorization by Formal Analysis. CSF 2012: 247-262

Karthikeyan Bhargavan, Antoine Delignat-Lavaud: Web-based Attacks on Host-Proof Encrypted Storage. WOOT 2012: 97-104

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33(2): 8 (2011)

Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon: Cryptographic Verification by Typing for a Sample Protocol Implementation. FOSAD 2011: 66-100

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang: Secure distributed programming with value-dependent types. ICFP 2011: 266-278

Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts: Typechecking Higher-Order Security Libraries. APLAS 2010: 47-62

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Modular verification of security protocol code by typing. POPL 2010: 445-456

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF 2009: 124-140

Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon: A compositional theory for STM Haskell. Haskell 2009: 69-80

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: A secure compiler for session abstractions. Journal of Computer Security 16(5): 573-636 (2008)

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6) (2008)

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31(1) (2008)

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Cryptographically verified implementations for TLS. ACM Conference on Computer and Communications Security 2008: 459-468

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. COORDINATION 2008: 33-49

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32

Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2) (2007)

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. TGC 2007: 22

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106

Karthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)

Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan: Brief announcement: exploring the consistency problem space. PODC 2005: 168

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based security for web services. ACM Conference on Computer and Communications Security 2004: 268-277

Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna: A Constraint-Based Formalism for Consistency in Replicated Systems. OPODIS 2004: 331-345

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209

Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. CoRR abs/cs/0412044 (2004)

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222

Karthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): 1-20 (2002)

Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter: Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)

Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219

Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13

Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72

Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66