Karthikeyan Bhargavan

	2012
38		Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15(1): 3 (2012)
	2011
37		Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon: Cryptographic Verification by Typing for a Sample Protocol Implementation. FOSAD 2011: 66-100
36		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
35		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)
	2010
34		Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts: Typechecking Higher-Order Security Libraries. APLAS 2010: 47-62
33		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Modular verification of security protocol code by typing. POPL 2010: 445-456
	2009
32		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
31		Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon: A compositional theory for STM Haskell. Haskell 2009: 69-80
	2008
30		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		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		Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. COORDINATION 2008: 33-49
27		Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
26		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6): (2008)
25		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		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		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		Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. TGC 2007: 22
21		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		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152
19		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106
	2005
18		Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan: Brief announcement: exploring the consistency problem space. PODC 2005: 168
17		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9
16		Karthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)
15		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)
	2004
14		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		Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna: A Constraint-Based Formalism for Consistency in Replicated Systems. OPODIS 2004: 331-345
12		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209
11		Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
10		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services CoRR abs/cs/0412044: (2004)
	2003
9		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222
	2002
8		Karthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): 1-20 (2002)
7		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		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		Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
	2000
4		Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71
3		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] [35]
2	Johannes Borgström	[31]
3	Satish Chandra	[5]
4	Juan Chen	[36]
5	Ricardo Corin	[11] [21] [23] [24] [30] [32] [38]
6	Pierre-Malo Deniélou	[23] [24] [32]
7	Cédric Fournet	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [23] [24] [25] [26] [27] [29] [30] [32] [33] [34] [35] [36] [37] [38]
8	Andrew D. Gordon (Andy Gordon)	[9] [10] [11] [12] [14] [15] [17] [19] [20] [21] [22] [25] [26] [27] [28] [29] [31] [33] [35] [37]
9	Carl A. Gunter	[1] [2] [3] [4] [5] [6] [7] [8] [16]
10	Elsa L. Gunter	[1]
11	Nataliya Guts	[34]
12	Michael Jackson	[1]
13	Moonjoo Kim	[3] [7]
14	Nishith Krishna	[13] [18]
15	Insup Lee	[3] [7]
16	James J. Leifer	[23] [24] [32]
17	Sergio Maffeis	[27] [35]
18	Peter J. McCann	[5]
19	Iman Narasamdya	[22] [28]
20	Greg O'Shea	[17]
21	Davor Obradovic	[1] [2] [3] [4] [6] [7]
22	Riccardo Pucella	[9] [10]
23	Marc Shapiro	[13] [18]
24	Oleg Sokolsky	[3] [7]
25	Pierre-Yves Strub	[36]
26	Nikhil Swamy	[29] [36]
27	Stephen Tse	[20] [25]
28	Mahesh Viswanathan	[3] [7]
29	Jean Yang	[36]
30	Eugen Zalinescu	[30] [38]
31	Pamela Zave	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page