Cédric Fournet

	2009
62		Jérémy Planul, Ricardo Corin, Cédric Fournet: Secure Enforcement for Global Process Specifications. CONCUR 2009: 511-526
61		Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli: Reliable Evidence: Auditability by Typing. ESORICS 2009: 168-183
	2008
60		Gilles Barthe, Cédric Fournet: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Springer 2008
59		Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Cryptographically verified implementations for TLS. ACM Conference on Computer and Communications Security 2008: 459-468
58		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135
57		Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
56		Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli: A Formal Implementation of Value Commitment. ESOP 2008: 383-397
55		Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579
54		Cédric Fournet, Tamara Rezk: Cryptographically sound implementations for typed information-flow security. POPL 2008: 323-335
53		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6): (2008)
52		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31(1): (2008)
51		Bruno Blanchet, Martín Abadi, Cédric Fournet: Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. 75(1): 3-51 (2008)
50		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
49		Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186
48		Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon: Design and Semantics of a Decentralized Authorization Language. CSF 2007: 3-15
47		Cédric Fournet, Andy Gordon, Sergio Maffeis: A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48
46		Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2): (2007)
45		Martín Abadi, Bruno Blanchet, Cédric Fournet: Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10(3): (2007)
44		Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5): (2007)
	2006
43		Martín Abadi, Ricardo Corin, Cédric Fournet: Computational Secrecy by Typing for the Pi Calculus. APLAS 2006: 253-269
42		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152
41		Pedro Adão, Cédric Fournet: Cryptographically Sound Implementations for Communicating Processes. ICALP (2) 2006: 83-94
40		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106
	2005
39		Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005: 141-156
38		Bruno Blanchet, Martín Abadi, Cédric Fournet: Automated Verification of Selected Equivalences for Security Protocols. LICS 2005: 331-340
37		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9
36		Cédric Fournet, Georges Gonthier: A hierarchy of equivalences for asynchronous calculi. J. Log. Algebr. Program. 63(1): 131-173 (2005)
35		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)
	2004
34		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
33		Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof: Stuck-Free Conformance. CAV 2004: 242-254
32		Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon: From Stack Inspection to Access Control: A Security Analysis for Libraries. CSFW 2004: 61-
31		Martín Abadi, Bruno Blanchet, Cédric Fournet: Just Fast Keying in the Pi Calculus. ESOP 2004: 340-354
30		Richard Black, Austin Donnelly, Cédric Fournet: Ethernet Topology Discovery without Network Assistance. ICNP 2004: 328-339
29		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209
28		Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
27		Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
26		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services CoRR abs/cs/0412044: (2004)
25		Martín Abadi, Cédric Fournet: Private authentication. Theor. Comput. Sci. 322(3): 427-476 (2004)
	2003
24		Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222
23		Martín Abadi, Cédric Fournet: Access Control Based on Execution History. NDSS 2003
22		Cédric Fournet, Andrew D. Gordon: Stack inspection: Theory and variants. ACM Trans. Program. Lang. Syst. 25(3): 360-399 (2003)
21		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the join calculus. J. Log. Algebr. Program. 57(1-2): 23-69 (2003)
	2002
20		Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt: JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming 2002: 129-158
19		Nick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440
18		Cédric Fournet, Martín Abadi: Hiding Names: Private Authentication in the Applied Pi Calculus. ISSS 2002: 317-338
17		Cédric Fournet, Andrew D. Gordon: Stack inspection: theory and variants. POPL 2002: 307-318
16		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
	2001
15		Martín Abadi, Cédric Fournet: Mobile values, new names, and secure communication. POPL 2001: 104-115
14		Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. Theor. Comput. Sci. 266(1-2): 569-603 (2001)
	2000
13		Cédric Fournet, Georges Gonthier: The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
12		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
11		Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt: An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS 2000: 348-364
10		Martín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
	1999
9		Martín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
8		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Communications Processing for Distributed Languages. IEEE Symposium on Security and Privacy 1999: 74-88
	1998
7		Cédric Fournet, Georges Gonthier: A Hierarchy of Equivalences for Asynchronous Calculi. ICALP 1998: 844-855
6		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. LICS 1998: 105-116
5		Michele Boreale, Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. PROCOMET 1998: 68-86
	1997
4		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212
3		Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Electr. Notes Theor. Comput. Sci. 10: (1997)
	1996
2		Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
1		Cédric Fournet, Georges Gonthier: The Reflexive CHAM and the Join-Calculus. POPL 1996: 372-385

Coauthor Index

1	Martín Abadi	[3] [6] [8] [9] [10] [15] [16] [18] [23] [25] [31] [38] [43] [45] [51] [55]
2	Pedro Adão	[41]
3	Gilles Barthe	[60]
4	Moritz Y. Becker	[48]
5	Jesper Bengtson	[57]
6	Nick Benton (P. N. Benton)	[19] [27]
7	Frédéric Besson	[32]
8	Karthikeyan Bhargavan	[24] [26] [28] [29] [34] [35] [37] [40] [42] [46] [49] [50] [52] [53] [57] [58] [59]
9	Richard Black	[30]
10	Tomasz Blanc	[32]
11	Bruno Blanchet	[31] [38] [45] [51]
12	Michele Boreale	[5]
13	Luca Cardelli	[19] [27]
14	Ricardo Corin	[28] [43] [46] [49] [50] [59] [62]
15	Pierre-Malo Deniélou	[49] [50]
16	Austin Donnelly	[30]
17	Fabrice Le Fessant	[20]
18	Georges Gonthier	[1] [2] [3] [6] [7] [8] [9] [10] [13] [16] [36]
19	Andrew D. Gordon (Andy Gordon)	[17] [22] [24] [26] [28] [29] [32] [34] [35] [37] [39] [40] [42] [44] [46] [47] [48] [52] [53] [55] [57] [58]
20	Nataliya Guts	[56] [61]
21	C. A. R. Hoare (Tony Hoare)	[33]
22	Cosimo Laneve	[4] [5] [12] [14] [21]
23	James J. Leifer	[49] [50]
24	Jean-Jacques Lévy	[2] [11]
25	Sergio Maffeis	[39] [44] [47] [55] [57]
26	Luc Maranget	[2] [4] [12] [20] [21]
27	Francesco Zappa Nardelli	[56] [61]
28	Greg O'Shea	[37]
29	Jérémy Planul	[62]
30	Riccardo Pucella	[24] [26]
31	Sriram K. Rajamani	[33]
32	Jakob Rehof	[33]
33	Didier Rémy	[2] [4] [12] [21]
34	Tamara Rezk	[54]
35	Alan Schmitt	[11] [20]
36	Nikhil Swamy	[58]
37	Stephen Tse	[42] [52]
38	Eugen Zalinescu	[59]

Colors in the list of coauthors