Cédric Fournet

According to our database, Cédric Fournet authored at least 113 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2024

Why Should I Trust Your Code?

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

Commun. ACM, January, 2024

2023

Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy.

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

ACM Queue, 2023

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.

Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proc. VLDB Endow., 2023

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions.

Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko

Proceedings of the 32nd USENIX Security Symposium, 2023

Confidential Computing within an AI Accelerator.

Kapil Vaswani, Stavros Volos, Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.

Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Confidential Machine Learning within Graphcore IPUs.

Kapil Vaswani, Stavros Volos, Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson

CoRR, 2022

IA-CCF: Individual Accountability for Permissioned Ledgers.

Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use.

Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia

ACM Queue, 2021

Key-schedule Security for the TLS 1.3 Standard.

Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss

IACR Cryptol. ePrint Arch., 2021

PAC: Practical Accountability for CCF.

Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich

CoRR, 2021

Toward confidential cloud computing.

Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia

Commun. ACM, 2021

AMP: authentication of media via provenance.

Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, John C. Simmons, Sam Wenker, Anika Zaman

Proceedings of the MMSys '21: 12th ACM Multimedia Systems Conference, Istanbul, Turkey, 28 September 2021, 2021

2020

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

IACR Cryptol. ePrint Arch., 2020

AMP: Authentication of Media via Provenance.

Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Shabnam Erfani, Kevin Kane, Alex Shamis

CoRR, 2020

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.

Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko

Proceedings of the 28th USENIX Security Symposium, 2019

2018

Recalling a witness: foundations and applications of monotonic state.

Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy

Proc. ACM Program. Lang., 2018

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication.

Martín Abadi, Bruno Blanchet, Cédric Fournet

J. ACM, 2018

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

State Separation for Code-Based Game-Playing Proofs.

Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

2017

Verified low-level programming embedded in F.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Proc. ACM Program. Lang., 2017

A Monadic Framework for Relational Verification (Functional Pearl).

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

CoRR, 2017

Verified Low-Level Programming Embedded in F^*.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

CoRR, 2017

A messy state of the union: taming the composite state machines of TLS.

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue

Commun. ACM, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

miTLS: Verifying Protocol Implementations against Real-World Attacks.

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss

IEEE Secur. Priv., 2016

Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data.

Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno

IACR Cryptol. ePrint Arch., 2016

Implementing and Proving the TLS 1.3 Record Layer.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

IACR Cryptol. ePrint Arch., 2016

Downgrade Resilience in Key-Exchange Protocols.

Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2016

Oblivious Multi-Party Machine Learning on Trusted Processors.

Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa

Proceedings of the 25th USENIX Security Symposium, 2016

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation.

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Dependent types and multi-monadic effects in F.

Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Certified Compiler for Verifiable Computing.

Cédric Fournet, Chantal Keller, Vincent Laporte

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk.

Cédric Fournet

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

Formal Verification of Smart Contracts: Short Paper.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

VC3: Trustworthy Data Analytics in the Cloud Using SGX.

Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Safe & Efficient Gradual Typing for TypeScript.

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Observing and Preventing Leakage in MapReduce.

Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Square Span Programs with Applications to Succinct NIZK Arguments.

George Danezis, Cédric Fournet, Jens Groth, Markulf Kohlweiss

IACR Cryptol. ePrint Arch., 2014

Geppetto: Versatile Verifiable Computation.

Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur

IACR Cryptol. ePrint Arch., 2014

Proving the TLS Handshake Secure (as it is).

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2014

Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, Pierre-Yves Strub

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Gradual typing embedded securely in JavaScript.

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Probabilistic relational verification for cryptographic implementations.

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Secure distributed programming with value-dependent types.

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

J. Funct. Program., 2013

ZQL: A Compiler for Privacy-Preserving Data Processing.

Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Implementing TLS with Verified Cryptographic Security.

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Fully abstract compilation to JavaScript.

Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Pinocchio coin: building zerocoin from a succinct pairing-based proof system.

George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Proceedings of the PETShop'13, 2013

Smart meter aggregation via secret-sharing.

George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin

Proceedings of the SEGS'13, 2013

2012

Verified Cryptographic Implementations for TLS.

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

ACM Trans. Inf. Syst. Secur., 2012

Self-certification: bootstrapping certified typecheckers in F* with Coq.

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Refinement types for secure implementations.

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2011

Cryptographic Verification by Typing for a Sample Protocol Implementation.

Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon

Proceedings of the Foundations of Security Analysis and Design VI, 2011

Compiling Information-Flow Security to Minimal Trusted Computing Bases.

Cédric Fournet, Jérémy Planul

Proceedings of the Programming Languages and Systems, 2011

Information-flow types for homomorphic encryptions.

Cédric Fournet, Jérémy Planul, Tamara Rezk

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Modular code-based cryptographic verification.

Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Principles and Applications of Refinement Types.

Andrew D. Gordon, Cédric Fournet

Proceedings of the Logics and Languages for Reliability and Security, 2010

SecPAL: Design and semantics of a decentralized authorization language.

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon

J. Comput. Secur., 2010

Modular verification of security protocol code by typing.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Typechecking Higher-Order Security Libraries.

Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Reliable Evidence: Auditability by Typing.

Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli

Proceedings of the Computer Security, 2009

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Secure Enforcement for Global Process Specifications.

Jérémy Planul, Ricardo Corin, Cédric Fournet

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.

Cédric Fournet, Gurvan Le Guernic, Tamara Rezk

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Verified interoperable implementations of security protocols.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse

ACM Trans. Program. Lang. Syst., 2008

Verifying policy-based web services security.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

ACM Trans. Program. Lang. Syst., 2008

Automated verification of selected equivalences for security protocols.

Bruno Blanchet, Martín Abadi, Cédric Fournet

J. Log. Algebraic Methods Program., 2008

A secure compiler for session abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

J. Comput. Secur., 2008

Cryptographically sound implementations for typed information-flow security.

Cédric Fournet, Tamara Rezk

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Code-Carrying Authorization.

Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon

Proceedings of the Computer Security, 2008

A Formal Implementation of Value Commitment.

Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli

Proceedings of the Programming Languages and Systems, 2008

Verified implementations of the information card federated identity-management protocol.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Cryptographically verified implementations for TLS.

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

A type discipline for authorization policies.

Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2007

Secure sessions for Web services.

Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon

ACM Trans. Inf. Syst. Secur., 2007

Just fast keying in the pi calculus.

Martín Abadi, Bruno Blanchet, Cédric Fournet

ACM Trans. Inf. Syst. Secur., 2007

A Type Discipline for Authorization in Distributed Systems.

Cédric Fournet, Andy Gordon, Sergio Maffeis

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Secure Implementations for Typed Session Abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Design and Semantics of a Decentralized Authorization Language.

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Verified Reference Implementations of WS-Security Protocols.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Cryptographically Sound Implementations for Communicating Processes.

Pedro Adão, Cédric Fournet

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Computational Secrecy by Typing for the Pi Calculus.

Martín Abadi, Ricardo Corin, Cédric Fournet

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

A semantics for web services authentication.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Theor. Comput. Sci., 2005

A hierarchy of equivalences for asynchronous calculi.

Cédric Fournet, Georges Gonthier

J. Log. Algebraic Methods Program., 2005

An advisor for web services security policies.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

2004

Modern concurrency abstractions for C#.

Nick Benton, Luca Cardelli, Cédric Fournet

ACM Trans. Program. Lang. Syst., 2004

Private authentication.

Martín Abadi, Cédric Fournet

Theor. Comput. Sci., 2004

Ethernet Topology Discovery without Network Assistance.

Richard Black, Austin Donnelly, Cédric Fournet

Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004

From Stack Inspection to Access Control: A Security Analysis for Libraries.

Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Verifying policy-based security for web services.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

Stuck-Free Conformance.

Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Stack inspection: Theory and variants.

Cédric Fournet, Andrew D. Gordon

ACM Trans. Program. Lang. Syst., 2003

Inheritance in the join calculus.

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

J. Log. Algebraic Methods Program., 2003

Access Control Based on Execution History.

Martín Abadi, Cédric Fournet

Proceedings of the Network and Distributed System Security Symposium, 2003

TulaFale: A Security Tool for Web Services.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Hiding Names: Private Authentication in the Applied Pi Calculus.

Cédric Fournet, Martín Abadi

Proceedings of the Software Security -- Theories and Systems, 2002

Modern Concurrency Abstractions for C^#.

Nick Benton, Luca Cardelli, Cédric Fournet

Proceedings of the ECOOP 2002, 2002

JoCaml: A Language for Concurrent Distributed and Mobile Programming.

Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt

Proceedings of the Advanced Functional Programming, 2002

2001

Bisimulations in the join-calculus.

Cédric Fournet, Cosimo Laneve

Theor. Comput. Sci., 2001

Mobile values, new names, and secure communication.

Martín Abadi, Cédric Fournet

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

Authentication Primitives and Their Compilation.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the POPL 2000, 2000

An Asynchronous, Distributed Implementation of Mobile Ambients.

Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt

Proceedings of the Theoretical Computer Science, 2000

The Join Calculus: A Language for Distributed Mobile Programming.

Cédric Fournet, Georges Gonthier

Proceedings of the Applied Semantics, International Summer School, 2000

1999

Secure Communications Processing for Distributed Languages.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

A Top-Down Look at a Secure Message.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Bisimulations in the join-calculus.

Michele Boreale, Cédric Fournet, Cosimo Laneve

Proceedings of the Programming Concepts and Methods, 1998

1997

Secure Implementation of Channel Abstractions.

Martín Abadi, Cédric Fournet, Georges Gonthier

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Implicit Typing à la ML for the Join-Calculus.

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

The Reflexive CHAM and the Join-Calculus.

Cédric Fournet, Georges Gonthier

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

A Calculus of Mobile Agents.

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy

Proceedings of the CONCUR '96, 1996