Cédric Fournet

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	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
58	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
57	EE	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
56	EE	Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli: A Formal Implementation of Value Commitment. ESOP 2008: 383-397
55	EE	Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579
54	EE	Cédric Fournet, Tamara Rezk: Cryptographically sound implementations for typed information-flow security. POPL 2008: 323-335
53	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6): (2008)
52	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)
51	EE	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	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
49	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
48	EE	Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon: Design and Semantics of a Decentralized Authorization Language. CSF 2007: 3-15
47	EE	Cédric Fournet, Andy Gordon, Sergio Maffeis: A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48
46	EE	Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2): (2007)
45	EE	Martín Abadi, Bruno Blanchet, Cédric Fournet: Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10(3): (2007)
44	EE	Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5): (2007)
2006
43	EE	Martín Abadi, Ricardo Corin, Cédric Fournet: Computational Secrecy by Typing for the Pi Calculus. APLAS 2006: 253-269
42	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152
41	EE	Pedro Adão, Cédric Fournet: Cryptographically Sound Implementations for Communicating Processes. ICALP (2) 2006: 83-94
40	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106
2005
39	EE	Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005: 141-156
38	EE	Bruno Blanchet, Martín Abadi, Cédric Fournet: Automated Verification of Selected Equivalences for Security Protocols. LICS 2005: 331-340
37	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9
36	EE	Cédric Fournet, Georges Gonthier: A hierarchy of equivalences for asynchronous calculi. J. Log. Algebr. Program. 63(1): 131-173 (2005)
35	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)
2004
34	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
33	EE	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof: Stuck-Free Conformance. CAV 2004: 242-254
32	EE	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	EE	Martín Abadi, Bruno Blanchet, Cédric Fournet: Just Fast Keying in the Pi Calculus. ESOP 2004: 340-354
30	EE	Richard Black, Austin Donnelly, Cédric Fournet: Ethernet Topology Discovery without Network Assistance. ICNP 2004: 328-339
29	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209
28	EE	Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
27	EE	Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
26	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services CoRR abs/cs/0412044: (2004)
25	EE	Martín Abadi, Cédric Fournet: Private authentication. Theor. Comput. Sci. 322(3): 427-476 (2004)
2003
24	EE	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222
23	EE	Martín Abadi, Cédric Fournet: Access Control Based on Execution History. NDSS 2003
22	EE	Cédric Fournet, Andrew D. Gordon: Stack inspection: Theory and variants. ACM Trans. Program. Lang. Syst. 25(3): 360-399 (2003)
21	EE	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	EE	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	EE	Nick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440
18	EE	Cédric Fournet, Martín Abadi: Hiding Names: Private Authentication in the Applied Pi Calculus. ISSS 2002: 317-338
17	EE	Cédric Fournet, Andrew D. Gordon: Stack inspection: theory and variants. POPL 2002: 307-318
16	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Secure Implementation of Channel Abstractions. Inf. Comput. 174(1): 37-83 (2002)
2001
15	EE	Martín Abadi, Cédric Fournet: Mobile values, new names, and secure communication. POPL 2001: 104-115
14	EE	Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. Theor. Comput. Sci. 266(1-2): 569-603 (2001)
2000
13	EE	Cédric Fournet, Georges Gonthier: The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
12	EE	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
11	EE	Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt: An Asynchronous, Distributed Implementation of Mobile Ambients. IFIP TCS 2000: 348-364
10	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: Authentication Primitives and Their Compilation. POPL 2000: 302-315
1999
9	EE	Martín Abadi, Cédric Fournet, Georges Gonthier: A Top-Down Look at a Secure Message. FSTTCS 1999: 122-141
8	EE	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	EE	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	EE	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	EE	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]
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]
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]
28	Greg O'Shea	[37]
29	Riccardo Pucella	[24] [26]
30	Sriram K. Rajamani	[33]
31	Jakob Rehof	[33]
32	Didier Rémy	[2] [4] [12] [21]
33	Tamara Rezk	[54]
34	Alan Schmitt	[11] [20]
35	Nikhil Swamy	[58]
36	Stephen Tse	[42] [52]
37	Eugen Zalinescu	[59]

Colors in the list of coauthors