Karthikeyan Bhargavan

2008
25	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
24	EE	Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. COORDINATION 2008: 33-49
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	Satish Chandra	[5]
2	Ricardo Corin	[11] [21] [23]
3	Pierre-Malo Deniélou	[23]
4	Cédric Fournet	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [23] [25]
5	Andrew D. Gordon	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [22] [24] [25]
6	Carl A. Gunter	[1] [2] [3] [4] [5] [6] [7] [8] [16]
7	Elsa L. Gunter	[1]
8	Michael Jackson	[1]
9	Moonjoo Kim	[3] [7]
10	Nishith Krishna	[13] [18]
11	Insup Lee	[3] [7]
12	James J. Leifer	[23]
13	Peter J. McCann	[5]
14	Iman Narasamdya	[22] [24]
15	Greg O'Shea	[17]
16	Davor Obradovic	[1] [2] [3] [4] [6] [7]
17	Riccardo Pucella	[9] [10]
18	Marc Shapiro	[13] [18]
19	Oleg Sokolsky	[3] [7]
20	Nikhil Swamy	[25]
21	Stephen Tse	[20]
22	Mahesh Viswanathan	[3] [7]
23	Pamela Zave	[1]

Colors in the list of coauthors