Karthikeyan Bhargavan

2008
30	EE	Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Cryptographically verified implementations for TLS. ACM Conference on Computer and Communications Security 2008: 459-468
29	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135
28	EE	Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. COORDINATION 2008: 33-49
27	EE	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
26	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6): (2008)
25	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31(1): (2008)
24	EE	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)
2007
23	EE	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186
22	EE	Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. TGC 2007: 22
21	EE	Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2): (2007)
2006
20	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152
19	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106
2005
18	EE	Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan: Brief announcement: exploring the consistency problem space. PODC 2005: 168
17	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9
16	EE	Karthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)
15	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)
2004
14	EE	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
13	EE	Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna: A Constraint-Based Formalism for Consistency in Replicated Systems. OPODIS 2004: 331-345
12	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209
11	EE	Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
10	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services CoRR abs/cs/0412044: (2004)
2003
9	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222
2002
8	EE	Karthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
7	EE	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)
6	EE	Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter: Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)
2001
5	EE	Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
2000
4	EE	Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71
3	EE	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
2		Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72
1998
1		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

Coauthor Index

1	Jesper Bengtson	[27]
2	Satish Chandra	[5]
3	Ricardo Corin	[11] [21] [23] [24] [30]
4	Pierre-Malo Deniélou	[23] [24]
5	Cédric Fournet	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [23] [24] [25] [26] [27] [29] [30]
6	Andrew D. Gordon (Andy Gordon)	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [22] [25] [26] [27] [28] [29]
7	Carl A. Gunter	[1] [2] [3] [4] [5] [6] [7] [8] [16]
8	Elsa L. Gunter	[1]
9	Michael Jackson	[1]
10	Moonjoo Kim	[3] [7]
11	Nishith Krishna	[13] [18]
12	Insup Lee	[3] [7]
13	James J. Leifer	[23] [24]
14	Sergio Maffeis	[27]
15	Peter J. McCann	[5]
16	Iman Narasamdya	[22] [28]
17	Greg O'Shea	[17]
18	Davor Obradovic	[1] [2] [3] [4] [6] [7]
19	Riccardo Pucella	[9] [10]
20	Marc Shapiro	[13] [18]
21	Oleg Sokolsky	[3] [7]
22	Nikhil Swamy	[29]
23	Stephen Tse	[20] [25]
24	Mahesh Viswanathan	[3] [7]
25	Eugen Zalinescu	[30]
26	Pamela Zave	[1]

Colors in the list of coauthors