Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Cédric Fournet
Senior Principal Research Manager
Publications
Publications by Year
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 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 , Daniel Wilkinson
2023 USENIX Annual Technical Conference | July 2023
ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
Certified Programs and Proofs | January 2023
Accepted for publication, to appear
-
IA-CCF: Individual Accountability for Permissioned Ledgers
Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
-
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, Sam Wenker, Anika Zaman
12th ACM Multimedia Systems Conference | July 2021
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
IEEE Symposium on Security and Privacy | May 2021
Toward Confidential Cloud Computing
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
January 2021
-
Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
International Broadcasting Convention (IBC) | September 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
IEEE Symposium on Security and Privacy | May 2020
-
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
USENIX Security | August 2019
CCF: A Framework for Building Confidential Verifiable Replicated Services
Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
MSR-TR-2019-16 | April 2019
Published by Microsoft
-
State Separation for Code-Based Game-Playing Proofs
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Asiacrypt | December 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
CPP 2018 | January 2018
Recalling a Witness: Foundations and Applications of Monotonic State
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Building Secure SGX Enclaves using F*, C/C++ and X64
Anitha Gollamudi, Cédric Fournet
PRISC’18 | January 2018
-
Implementing and Proving the TLS 1.3 Record Layer
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
SP '17 38th IEEE Symposium on Security and Privacy | May 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, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Download Github Project Project
-
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
PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
ISBN: 978-1-4503-4574-3
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
Towards a Provably Secure Implementation of TLS 1.3
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
TRON Workshop | July 2016
Downgrade Resilience in Key-Exchange Protocols
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Béguelin
2016 IEEE Symposium on Security and Privacy | May 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 | May 2016
Dependent Types and Multi-Monadic Effects in F*
Nikhil Swamy, Cătălin Hriţcu, 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
POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
ISBN: 978-1-4503-3549-2
-
Observing and Preventing Leakage in MapReduce
Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
MSR-TR-2015-70 | September 2015
Published by Microsoft
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
2015 IEEE Symposium on Security and Privacy | May 2015
Distinguished Paper
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 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
36th IEEE Symposium on Security and Privacy | May 2015
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
ISBN: 978-1-4503-3300-9
-
Proving the TLS Handshake Secure (As It Is)
Karthikeyan Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin, Cédric Fournet
Advances in Cryptology -- CRYPTO 2014 | July 2014
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
MSR-TR-2014-99 | July 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
VC3: Trustworthy Data Analytics in the Cloud
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
MSR-TR-2014-39 | February 2014
Gradual Typing Embedded Securely in JavaScript
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman
POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2014
ISBN: 978-1-4503-2544-8
Probabilistic Relational Verification for Cryptographic Implementations
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Santiago Zanella-Béguelin, Nikhil Swamy
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 | January 2014
To appear
-
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss
Proceedings of the 22th USENIX Security Symposium, USA, August 14-16, 2013 | August 2013
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss, George Danezis
MSR-TR-2013-25 | February 2013
Fully Abstract Compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Smart Meter Aggregation via Secret-Sharing
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin
2013 Smart Energy Grid Security Workshop, SEGS 2013 | January 2013
To appear
-
Probabilistic Relational Verification for Cryptographic Implementations
Benjamin Gregoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Béguelin, Gilles Barthe, Cédric Fournet
November 2012
Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
-
Modular code-based cryptographic verification
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub
ACM Conference on Computer and Communications Security | October 2011
ACM Conference on Computer and Communications Security
ISBN: 978-1-4503-0948-6
Information-Flow Types for Homomorphic Encryptions
Cédric Fournet, Jérémy Planul, Tamara Rezk
18th ACM Conference on Computer and Communications Security (CCS'11) | October 2011
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Secure Distributed Programming with Value-Dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Compiling Information-Flow Security to Minimal Trusted Computing Bases
Cédric Fournet, Jeremy Planu
To appear in the proceedings of Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. | March 2011
Cryptographic Verification by Typing for a Sample Protocol Implementation
Cédric Fournet, Karthik Bhargavan, Andy Gordon
Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858 | Lecture Notes in Computer Science 6858 edition
ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online)
Lecture Notes in Computer Science 6858
-
Pre- and Post-conditions for Security Typechecking
Karthik Bhargavan, Cédric Fournet, Nataliya Guts
Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010) | July 2010
Modular verification of security protocol code by typing
Karthik Bhargavan, Cédric Fournet, Andy Gordon
POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010
ISBN: 978-1-60558-479-9
SecPAL: Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
-
A Security-Preserving Compiler for Distributed Programs
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
ACM Conference on Computer and Communications Security (CCS'09) | November 2009
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Reliable Evidence: Auditability by Typing
Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli
To appear in the proceedings of the 14th European Symposium on Research in Computer Security | September 2009
Secure Enforcement for Global Process Specifications
Jeremy Planul, Ricardo Corin, Cédric Fournet
20th International Conference on Concurrency Theory (CONCUR'09) | September 2009
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
Karthik Bhargavan, Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, James J. Leifer
Proceedings of the 22st IEEE Computer Security Foundations Symposium (CSF 2009 | July 2009
-
Code-Carrying Authorization
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andy Gordon
13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings | October 2008
ISBN: 978-3-540-88312-8 (Print) 978-3-540-88313-5 (Online)
Verifying Policy-Based Web Services Security
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Transactions on Programming Languages and Systems | October 2008, Vol 30(6)
Cryptographically verified implementations for TLS
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Eugen Zalinescu
15th ACM Conference on Computer and Communications Security (CCS'08) | October 2008
15th ACM Conference on Computer and Communications Security (CCS'08)
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
Verified Implementations of the Information Card Federated Identity-Management Protocol
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Nikhil Swamy
ASIACCS '08 Proceedings of the 2008 ACM symposium on Information, computer and communications security | March 2008
ISBN: 978-1-59593-979-1
A Formal Implementation of Value Commitment
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
Programming Languages and Systems (ESOP'08) | March 2008
Cryptographically Sound Implementations for Typed Information-Flow Security
Cédric Fournet, Tamara Rezk
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08) | January 2008
A Secure Compiler for Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
Journal of Computer Security (Special issue for CSF'07) | January 2008
-
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
ACM Transactions on Programming Languages and Systems | August 2007, Vol 29(5)
Secure Implementations for Typed Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
To appear in the proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF 2007 | July 2007
A Type Discipline for Authorization in Distributed Systems
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2007-47 | July 2007
ISBN: 0-7695-2819-8
20th IEEE Computer Security Foundations Symposium, 2007. CSF '07.
Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
MSR-TR-2006-120 | July 2007
ISBN: 0-7695-2819-8
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
Verified Interoperable Implementations of Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Stephen Tse
MSR-TR-2006-46 | July 2007
ISBN: 0-7695-2615-2
Computer Security Foundations Workshop, 2006. 19th IEEE
-
Computational Secrecy by Typing for the Pi Calculus
Martin Abadi, Ricardo Corin, Cédric Fournet
Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) | November 2006
Verified Reference Implementations of WS-Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006
ISBN: 978-3-540-38862-3 (Print) 978-3-540-38865-4 (Online)
-
An Advisor for Web Services Security Policies
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Greg O'Shea
2005 ACM Workshop on Secure Web Services (SWS) | November 2005
ISBN: 1-59593-234-8
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Theoretical Computer Science; Theoretical Foundations of Security Analysis and Design II | June 2005, Vol 340(1): pp. 102-153
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet, Martin Abadi, Cédric Fournet
20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2005-01 | April 2005
ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.
-
Secure Sessions for Web Services
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Andy Gordon
MSR-TR-2004-114 | October 2004
ISBN: 1-58113-973-X
2004 ACM Workshop on Secure Web Services (SWS 2004)
Verifying Policy-Based Security for Web Services
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2004-84 | October 2004
ISBN: 1-58113-961-6
CCS '04 Proceedings of the 11th ACM conference on Computer and communications security
Ethernet Topology Discovery without Network Assistance
Richard Black, Austin Donnelly, Cédric Fournet
Proceedings of 12th IEEE International Conference on Network Protocols (ICNP'04) | October 2004
2004 International Conference on Network Protocols (ICNP), Berlin, Germany.
Private Authentication
Martın Abadi, Cédric Fournet
Theoretical Computer Science 322(3):427--476. September 2004. Special issue on Foundations of Wide Area Network Computing. Parts of this work were presented at PET'02 (LNCS 2482) and ISSS'02 (LNCS 2602) | September 2004
Stuck-Free Conformance Theory for CCS
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
From Stack Inspection to Access Control: A Security Analysis for Libraries
Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andy Gordon
17th IEEE Computer Security Foundations Workshop (CSFW 2004) | June 2004
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2003-83 | January 2004
ISBN: 1-58113-729-X
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA
TulaFale: A security tool for web services
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Riccardo Pucella
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 | January 2004
Lecture Notes in Computer Science
ISBN: 978-3-540-22942-1 (Print) 978-3-540-30101-1 (Online)
-
Access Control based on Execution History
10th Annual Network and Distributed System Security Symposium (NDSS'03) | February 2003
-
Hiding Names: Private Authentication in the Applied Pi Calculus
Cédric Fournet, Martın Abadi
International Symposium on Software Security (ISSS'02) | November 2002
JoCaml: a Language for Concurrent Distributed and Mobile Programming
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
Proceedings of the Fourth Summer School on Advanced Functional Programming | August 2002
Modern Concurrency Abstractions for C#
Nick Benton, Luca Cardelli, Cédric Fournet
ACM Transactions on Programming Languages and Systems (TOPLAS), Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP '02) | April 2002
Superseded by ECOOP version.
Stack Inspection: Theory and Variants
Cédric Fournet, Andy Gordon
MSR-TR-2001-103 | January 2002
ISBN: 1-58113-450-9
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence
-
Mobile Values, New Names, and Secure Communication
Martın Abadi, Cédric Fournet
28th ACM Symposium on Principles of Programming Languages (POPL'01) | January 2001
-
Inheritance in the Join Calculus (extended abstract)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy
Foundations of Software Technology and Theoretical Computer Science | December 2000
The Join Calculus: a Language for Distributed Mobile Programming
Cédric Fournet, Georges Gonthier
Applied Semantics. International Summer School, APPSEM 2000, | September 2000
An Asynchronous, Distributed Implementation of Mobile Ambients
Cédric Fournet, Jean-Jacques Levy, Alan Schmitt
Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
Bisimulations in the Join-Calculus
Cédric Fournet, Cosimo Laneve
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) | May 2000
Authentication primitives and their compilation
Martın Abadi, Cédric Fournet, Georges Gonthier
To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
-
A Top-Down Look at a Secure Message
Martín Abadi, Cédric Fournet, Georges Gonthier
19th Conference Chennai, India, December 13-15, 1999 Proceedings | December 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 | May 1999
-
The Join-Calculus: a Calculus for Distributed Mobile Programming
November 1998
November 1998
A Hierarchy of Equivalences for Asynchronous Calculi
Cédric Fournet, Georges Gonthier
Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP '98) | July 1998
Secure Implementation of Channel Abstractions
Cédric Fournet, Martin Abadi, Georges Gonthier
January 1998
-
Implicit typing `a la ML for the join-calculus
Cédric Fournet, Cosimo Laneve, Luc Maranget
Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science | July 1997
-
A Calculus of Mobile Agents
Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Rémy
7th International Conference Pisa, Italy, August 26-29, 1996 Proceedings | August 1996
Publications by Research Area
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
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 , Daniel Wilkinson
2023 USENIX Annual Technical Conference | July 2023
Toward Confidential Cloud Computing
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
January 2021
-
Mobile Values, New Names, and Secure Communication
Martın Abadi, Cédric Fournet
28th ACM Symposium on Principles of Programming Languages (POPL'01) | January 2001
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 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 , Daniel Wilkinson
2023 USENIX Annual Technical Conference | July 2023
ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
Certified Programs and Proofs | January 2023
Accepted for publication, to appear
IA-CCF: Individual Accountability for Permissioned Ledgers
Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
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
IEEE Symposium on Security and Privacy | May 2021
Toward Confidential Cloud Computing
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
January 2021
Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
International Broadcasting Convention (IBC) | September 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
IEEE Symposium on Security and Privacy | May 2020
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
USENIX Security | August 2019
CCF: A Framework for Building Confidential Verifiable Replicated Services
Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
MSR-TR-2019-16 | April 2019
Published by Microsoft
State Separation for Code-Based Game-Playing Proofs
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Asiacrypt | December 2018
Recalling a Witness: Foundations and Applications of Monotonic State
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Building Secure SGX Enclaves using F*, C/C++ and X64
Anitha Gollamudi, Cédric Fournet
PRISC’18 | January 2018
Implementing and Proving the TLS 1.3 Record Layer
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
SP '17 38th IEEE Symposium on Security and Privacy | May 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, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Download Github Project Project
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
Downgrade Resilience in Key-Exchange Protocols
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Béguelin
2016 IEEE Symposium on Security and Privacy | May 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 | May 2016
Observing and Preventing Leakage in MapReduce
Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
MSR-TR-2015-70 | September 2015
Published by Microsoft
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
2015 IEEE Symposium on Security and Privacy | May 2015
Distinguished Paper
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 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
36th IEEE Symposium on Security and Privacy | May 2015
Proving the TLS Handshake Secure (As It Is)
Karthikeyan Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin, Cédric Fournet
Advances in Cryptology -- CRYPTO 2014 | July 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
VC3: Trustworthy Data Analytics in the Cloud
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
MSR-TR-2014-39 | February 2014
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss
Proceedings of the 22th USENIX Security Symposium, USA, August 14-16, 2013 | August 2013
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss, George Danezis
MSR-TR-2013-25 | February 2013
Smart Meter Aggregation via Secret-Sharing
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin
2013 Smart Energy Grid Security Workshop, SEGS 2013 | January 2013
To appear
Probabilistic Relational Verification for Cryptographic Implementations
Benjamin Gregoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Béguelin, Gilles Barthe, Cédric Fournet
November 2012
Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Modular code-based cryptographic verification
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub
ACM Conference on Computer and Communications Security | October 2011
ACM Conference on Computer and Communications Security
ISBN: 978-1-4503-0948-6
Information-Flow Types for Homomorphic Encryptions
Cédric Fournet, Jérémy Planul, Tamara Rezk
18th ACM Conference on Computer and Communications Security (CCS'11) | October 2011
Cryptographic Verification by Typing for a Sample Protocol Implementation
Cédric Fournet, Karthik Bhargavan, Andy Gordon
Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858 | Lecture Notes in Computer Science 6858 edition
ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online)
Lecture Notes in Computer Science 6858
Pre- and Post-conditions for Security Typechecking
Karthik Bhargavan, Cédric Fournet, Nataliya Guts
Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010) | July 2010
Modular verification of security protocol code by typing
Karthik Bhargavan, Cédric Fournet, Andy Gordon
POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010
ISBN: 978-1-60558-479-9
SecPAL: Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
A Security-Preserving Compiler for Distributed Programs
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
ACM Conference on Computer and Communications Security (CCS'09) | November 2009
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Reliable Evidence: Auditability by Typing
Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli
To appear in the proceedings of the 14th European Symposium on Research in Computer Security | September 2009
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
Karthik Bhargavan, Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, James J. Leifer
Proceedings of the 22st IEEE Computer Security Foundations Symposium (CSF 2009 | July 2009
Verifying Policy-Based Web Services Security
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Transactions on Programming Languages and Systems | October 2008, Vol 30(6)
Code-Carrying Authorization
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andy Gordon
13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings | October 2008
ISBN: 978-3-540-88312-8 (Print) 978-3-540-88313-5 (Online)
Cryptographically verified implementations for TLS
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Eugen Zalinescu
15th ACM Conference on Computer and Communications Security (CCS'08) | October 2008
15th ACM Conference on Computer and Communications Security (CCS'08)
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
Verified Implementations of the Information Card Federated Identity-Management Protocol
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Nikhil Swamy
ASIACCS '08 Proceedings of the 2008 ACM symposium on Information, computer and communications security | March 2008
ISBN: 978-1-59593-979-1
Cryptographically Sound Implementations for Typed Information-Flow Security
Cédric Fournet, Tamara Rezk
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08) | January 2008
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
ACM Transactions on Programming Languages and Systems | August 2007, Vol 29(5)
Secure Implementations for Typed Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
To appear in the proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF 2007 | July 2007
A Type Discipline for Authorization in Distributed Systems
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2007-47 | July 2007
ISBN: 0-7695-2819-8
20th IEEE Computer Security Foundations Symposium, 2007. CSF '07.
Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
MSR-TR-2006-120 | July 2007
ISBN: 0-7695-2819-8
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
Computational Secrecy by Typing for the Pi Calculus
Martin Abadi, Ricardo Corin, Cédric Fournet
Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) | November 2006
Verified Reference Implementations of WS-Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006
ISBN: 978-3-540-38862-3 (Print) 978-3-540-38865-4 (Online)
An Advisor for Web Services Security Policies
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Greg O'Shea
2005 ACM Workshop on Secure Web Services (SWS) | November 2005
ISBN: 1-59593-234-8
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Theoretical Computer Science; Theoretical Foundations of Security Analysis and Design II | June 2005, Vol 340(1): pp. 102-153
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet, Martin Abadi, Cédric Fournet
20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2005-01 | April 2005
ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.
Secure Sessions for Web Services
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Andy Gordon
MSR-TR-2004-114 | October 2004
ISBN: 1-58113-973-X
2004 ACM Workshop on Secure Web Services (SWS 2004)
Verifying Policy-Based Security for Web Services
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2004-84 | October 2004
ISBN: 1-58113-961-6
CCS '04 Proceedings of the 11th ACM conference on Computer and communications security
Private Authentication
Martın Abadi, Cédric Fournet
Theoretical Computer Science 322(3):427--476. September 2004. Special issue on Foundations of Wide Area Network Computing. Parts of this work were presented at PET'02 (LNCS 2482) and ISSS'02 (LNCS 2602) | September 2004
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2003-83 | January 2004
ISBN: 1-58113-729-X
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA
Access Control based on Execution History
10th Annual Network and Distributed System Security Symposium (NDSS'03) | February 2003
Hiding Names: Private Authentication in the Applied Pi Calculus
Cédric Fournet, Martın Abadi
International Symposium on Software Security (ISSS'02) | November 2002
-
Secure Implementation of Channel Abstractions
Cédric Fournet, Martin Abadi, Georges Gonthier
January 1998
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
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 , Daniel Wilkinson
2023 USENIX Annual Technical Conference | July 2023
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, Sam Wenker, Anika Zaman
12th ACM Multimedia Systems Conference | July 2021
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
IEEE Symposium on Security and Privacy | May 2020
CCF: A Framework for Building Confidential Verifiable Replicated Services
Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
MSR-TR-2019-16 | April 2019
Published by Microsoft
VC3: Trustworthy Data Analytics in the Cloud
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
MSR-TR-2014-39 | February 2014
Secure Enforcement for Global Process Specifications
Jeremy Planul, Ricardo Corin, Cédric Fournet
20th International Conference on Concurrency Theory (CONCUR'09) | September 2009
Ethernet Topology Discovery without Network Assistance
Richard Black, Austin Donnelly, Cédric Fournet
Proceedings of 12th IEEE International Conference on Network Protocols (ICNP'04) | October 2004
2004 International Conference on Network Protocols (ICNP), Berlin, Germany.
Stuck-Free Conformance Theory for CCS
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
Access Control based on Execution History
10th Annual Network and Distributed System Security Symposium (NDSS'03) | February 2003
-
Mobile Values, New Names, and Secure Communication
Martın Abadi, Cédric Fournet
28th ACM Symposium on Principles of Programming Languages (POPL'01) | January 2001
The Join Calculus: a Language for Distributed Mobile Programming
Cédric Fournet, Georges Gonthier
Applied Semantics. International Summer School, APPSEM 2000, | September 2000
An Asynchronous, Distributed Implementation of Mobile Ambients
Cédric Fournet, Jean-Jacques Levy, Alan Schmitt
Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
Bisimulations in the Join-Calculus
Cédric Fournet, Cosimo Laneve
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) | May 2000
Authentication primitives and their compilation
Martın Abadi, Cédric Fournet, Georges Gonthier
To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
A Top-Down Look at a Secure Message
Martín Abadi, Cédric Fournet, Georges Gonthier
19th Conference Chennai, India, December 13-15, 1999 Proceedings | December 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 | May 1999
The Join-Calculus: a Calculus for Distributed Mobile Programming
November 1998
November 1998
A Hierarchy of Equivalences for Asynchronous Calculi
Cédric Fournet, Georges Gonthier
Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP '98) | July 1998
Implicit typing `a la ML for the join-calculus
Cédric Fournet, Cosimo Laneve, Luc Maranget
Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science | July 1997
A Calculus of Mobile Agents
Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Rémy
7th International Conference Pisa, Italy, August 26-29, 1996 Proceedings | August 1996
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 2023
ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
Certified Programs and Proofs | January 2023
Accepted for publication, to appear
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
IEEE Symposium on Security and Privacy | May 2020
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
USENIX Security | August 2019
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
CPP 2018 | January 2018
Recalling a Witness: Foundations and Applications of Monotonic State
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Building Secure SGX Enclaves using F*, C/C++ and X64
Anitha Gollamudi, Cédric Fournet
PRISC’18 | January 2018
Implementing and Proving the TLS 1.3 Record Layer
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
SP '17 38th IEEE Symposium on Security and Privacy | May 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, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Download Github Project Project
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
PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
ISBN: 978-1-4503-4574-3
Towards a Provably Secure Implementation of TLS 1.3
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
TRON Workshop | July 2016
Dependent Types and Multi-Monadic Effects in F*
Nikhil Swamy, Cătălin Hriţcu, 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
POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
ISBN: 978-1-4503-3549-2
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
ISBN: 978-1-4503-3300-9
Proving the TLS Handshake Secure (As It Is)
Karthikeyan Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin, Cédric Fournet
Advances in Cryptology -- CRYPTO 2014 | July 2014
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
MSR-TR-2014-99 | July 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Gradual Typing Embedded Securely in JavaScript
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman
POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2014
ISBN: 978-1-4503-2544-8
Probabilistic Relational Verification for Cryptographic Implementations
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Santiago Zanella-Béguelin, Nikhil Swamy
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 | January 2014
To appear
Fully Abstract Compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Secure Distributed Programming with Value-Dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Compiling Information-Flow Security to Minimal Trusted Computing Bases
Cédric Fournet, Jeremy Planu
To appear in the proceedings of Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. | March 2011
Cryptographic Verification by Typing for a Sample Protocol Implementation
Cédric Fournet, Karthik Bhargavan, Andy Gordon
Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858 | Lecture Notes in Computer Science 6858 edition
ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online)
Lecture Notes in Computer Science 6858
Modular verification of security protocol code by typing
Karthik Bhargavan, Cédric Fournet, Andy Gordon
POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010
ISBN: 978-1-60558-479-9
SecPAL: Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
A Security-Preserving Compiler for Distributed Programs
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
ACM Conference on Computer and Communications Security (CCS'09) | November 2009
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Code-Carrying Authorization
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andy Gordon
13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings | October 2008
ISBN: 978-3-540-88312-8 (Print) 978-3-540-88313-5 (Online)
A Formal Implementation of Value Commitment
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
Programming Languages and Systems (ESOP'08) | March 2008
Cryptographically Sound Implementations for Typed Information-Flow Security
Cédric Fournet, Tamara Rezk
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08) | January 2008
A Secure Compiler for Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
Journal of Computer Security (Special issue for CSF'07) | January 2008
Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
MSR-TR-2006-120 | July 2007
ISBN: 0-7695-2819-8
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
Verified Reference Implementations of WS-Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006
ISBN: 978-3-540-38862-3 (Print) 978-3-540-38865-4 (Online)
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet, Martin Abadi, Cédric Fournet
20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005
Secure Sessions for Web Services
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Andy Gordon
MSR-TR-2004-114 | October 2004
ISBN: 1-58113-973-X
2004 ACM Workshop on Secure Web Services (SWS 2004)
TulaFale: A security tool for web services
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Riccardo Pucella
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 | January 2004
Lecture Notes in Computer Science
ISBN: 978-3-540-22942-1 (Print) 978-3-540-30101-1 (Online)
JoCaml: a Language for Concurrent Distributed and Mobile Programming
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
Proceedings of the Fourth Summer School on Advanced Functional Programming | August 2002
Stack Inspection: Theory and Variants
Cédric Fournet, Andy Gordon
MSR-TR-2001-103 | January 2002
ISBN: 1-58113-450-9
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence
-
Inheritance in the Join Calculus (extended abstract)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy
Foundations of Software Technology and Theoretical Computer Science | December 2000
-
Inheritance in the Join Calculus (extended abstract)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy
Foundations of Software Technology and Theoretical Computer Science | December 2000
An Asynchronous, Distributed Implementation of Mobile Ambients
Cédric Fournet, Jean-Jacques Levy, Alan Schmitt
Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
-
Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
From Stack Inspection to Access Control: A Security Analysis for Libraries
Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andy Gordon
17th IEEE Computer Security Foundations Workshop (CSFW 2004) | June 2004
-
Verified Interoperable Implementations of Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Stephen Tse
MSR-TR-2006-46 | July 2007
ISBN: 0-7695-2615-2
Computer Security Foundations Workshop, 2006. 19th IEEE
-
Modern Concurrency Abstractions for C#
Nick Benton, Luca Cardelli, Cédric Fournet
ACM Transactions on Programming Languages and Systems (TOPLAS), Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP '02) | April 2002
Superseded by ECOOP version.
Publications by Type
-
Mobile Values, New Names, and Secure Communication
Martın Abadi, Cédric Fournet
28th ACM Symposium on Principles of Programming Languages (POPL'01) | January 2001
Inheritance in the Join Calculus (extended abstract)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy
Foundations of Software Technology and Theoretical Computer Science | December 2000
The Join Calculus: a Language for Distributed Mobile Programming
Cédric Fournet, Georges Gonthier
Applied Semantics. International Summer School, APPSEM 2000, | September 2000
An Asynchronous, Distributed Implementation of Mobile Ambients
Cédric Fournet, Jean-Jacques Levy, Alan Schmitt
Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
Bisimulations in the Join-Calculus
Cédric Fournet, Cosimo Laneve
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) | May 2000
Authentication primitives and their compilation
Martın Abadi, Cédric Fournet, Georges Gonthier
To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
A Top-Down Look at a Secure Message
Martín Abadi, Cédric Fournet, Georges Gonthier
19th Conference Chennai, India, December 13-15, 1999 Proceedings | December 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 | May 1999
A Hierarchy of Equivalences for Asynchronous Calculi
Cédric Fournet, Georges Gonthier
Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP '98) | July 1998
Secure Implementation of Channel Abstractions
Cédric Fournet, Martin Abadi, Georges Gonthier
January 1998
Implicit typing `a la ML for the join-calculus
Cédric Fournet, Cosimo Laneve, Luc Maranget
Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science | July 1997
A Calculus of Mobile Agents
Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Rémy
7th International Conference Pisa, Italy, August 26-29, 1996 Proceedings | August 1996
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Usenix Security Symposium | August 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 , Daniel Wilkinson
2023 USENIX Annual Technical Conference | July 2023
ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
Certified Programs and Proofs | January 2023
Accepted for publication, to appear
IA-CCF: Individual Accountability for Permissioned Ledgers
Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
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, Sam Wenker, Anika Zaman
12th ACM Multimedia Systems Conference | July 2021
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
IEEE Symposium on Security and Privacy | May 2021
Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
International Broadcasting Convention (IBC) | September 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
IEEE Symposium on Security and Privacy | May 2020
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
USENIX Security | August 2019
State Separation for Code-Based Game-Playing Proofs
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Asiacrypt | December 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
CPP 2018 | January 2018
Recalling a Witness: Foundations and Applications of Monotonic State
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Principles of Programming Languages 2018 (POPL 2018) | January 2018
Building Secure SGX Enclaves using F*, C/C++ and X64
Anitha Gollamudi, Cédric Fournet
PRISC’18 | January 2018
Implementing and Proving the TLS 1.3 Record Layer
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
SP '17 38th IEEE Symposium on Security and Privacy | May 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, Rustan Leino, Jay Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Download Github Project Project
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
PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
ISBN: 978-1-4503-4574-3
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
Towards a Provably Secure Implementation of TLS 1.3
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
TRON Workshop | July 2016
Downgrade Resilience in Key-Exchange Protocols
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Béguelin
2016 IEEE Symposium on Security and Privacy | May 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 | May 2016
Dependent Types and Multi-Monadic Effects in F*
Nikhil Swamy, Cătălin Hriţcu, 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
POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
ISBN: 978-1-4503-3549-2
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
2015 IEEE Symposium on Security and Privacy | May 2015
Distinguished Paper
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 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
36th IEEE Symposium on Security and Privacy | May 2015
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
ISBN: 978-1-4503-3300-9
Proving the TLS Handshake Secure (As It Is)
Karthikeyan Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin, Cédric Fournet
Advances in Cryptology -- CRYPTO 2014 | July 2014
Gradual Typing Embedded Securely in JavaScript
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman
POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2014
ISBN: 978-1-4503-2544-8
Probabilistic Relational Verification for Cryptographic Implementations
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Santiago Zanella-Béguelin, Nikhil Swamy
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 | January 2014
To appear
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss
Proceedings of the 22th USENIX Security Symposium, USA, August 14-16, 2013 | August 2013
Smart Meter Aggregation via Secret-Sharing
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin
2013 Smart Energy Grid Security Workshop, SEGS 2013 | January 2013
To appear
Fully Abstract Compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Probabilistic Relational Verification for Cryptographic Implementations
Benjamin Gregoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Béguelin, Gilles Barthe, Cédric Fournet
November 2012
Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Modular code-based cryptographic verification
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub
ACM Conference on Computer and Communications Security | October 2011
ACM Conference on Computer and Communications Security
ISBN: 978-1-4503-0948-6
Information-Flow Types for Homomorphic Encryptions
Cédric Fournet, Jérémy Planul, Tamara Rezk
18th ACM Conference on Computer and Communications Security (CCS'11) | October 2011
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Compiling Information-Flow Security to Minimal Trusted Computing Bases
Cédric Fournet, Jeremy Planu
To appear in the proceedings of Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. | March 2011
Pre- and Post-conditions for Security Typechecking
Karthik Bhargavan, Cédric Fournet, Nataliya Guts
Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010) | July 2010
Modular verification of security protocol code by typing
Karthik Bhargavan, Cédric Fournet, Andy Gordon
POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2010
ISBN: 978-1-60558-479-9
A Security-Preserving Compiler for Distributed Programs
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
ACM Conference on Computer and Communications Security (CCS'09) | November 2009
Secure Enforcement for Global Process Specifications
Jeremy Planul, Ricardo Corin, Cédric Fournet
20th International Conference on Concurrency Theory (CONCUR'09) | September 2009
Reliable Evidence: Auditability by Typing
Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli
To appear in the proceedings of the 14th European Symposium on Research in Computer Security | September 2009
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
Karthik Bhargavan, Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, James J. Leifer
Proceedings of the 22st IEEE Computer Security Foundations Symposium (CSF 2009 | July 2009
Code-Carrying Authorization
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andy Gordon
13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings | October 2008
ISBN: 978-3-540-88312-8 (Print) 978-3-540-88313-5 (Online)
Cryptographically verified implementations for TLS
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Eugen Zalinescu
15th ACM Conference on Computer and Communications Security (CCS'08) | October 2008
15th ACM Conference on Computer and Communications Security (CCS'08)
Verified Implementations of the Information Card Federated Identity-Management Protocol
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Nikhil Swamy
ASIACCS '08 Proceedings of the 2008 ACM symposium on Information, computer and communications security | March 2008
ISBN: 978-1-59593-979-1
A Formal Implementation of Value Commitment
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
Programming Languages and Systems (ESOP'08) | March 2008
Cryptographically Sound Implementations for Typed Information-Flow Security
Cédric Fournet, Tamara Rezk
35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08) | January 2008
Secure Implementations for Typed Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
To appear in the proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF 2007 | July 2007
Computational Secrecy by Typing for the Pi Calculus
Martin Abadi, Ricardo Corin, Cédric Fournet
Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) | November 2006
Verified Reference Implementations of WS-Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006
ISBN: 978-3-540-38862-3 (Print) 978-3-540-38865-4 (Online)
An Advisor for Web Services Security Policies
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Greg O'Shea
2005 ACM Workshop on Secure Web Services (SWS) | November 2005
ISBN: 1-59593-234-8
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet, Martin Abadi, Cédric Fournet
20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005
Ethernet Topology Discovery without Network Assistance
Richard Black, Austin Donnelly, Cédric Fournet
Proceedings of 12th IEEE International Conference on Network Protocols (ICNP'04) | October 2004
2004 International Conference on Network Protocols (ICNP), Berlin, Germany.
Private Authentication
Martın Abadi, Cédric Fournet
Theoretical Computer Science 322(3):427--476. September 2004. Special issue on Foundations of Wide Area Network Computing. Parts of this work were presented at PET'02 (LNCS 2482) and ISSS'02 (LNCS 2602) | September 2004
From Stack Inspection to Access Control: A Security Analysis for Libraries
Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andy Gordon
17th IEEE Computer Security Foundations Workshop (CSFW 2004) | June 2004
TulaFale: A security tool for web services
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Riccardo Pucella
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 | January 2004
Lecture Notes in Computer Science
ISBN: 978-3-540-22942-1 (Print) 978-3-540-30101-1 (Online)
Access Control based on Execution History
10th Annual Network and Distributed System Security Symposium (NDSS'03) | February 2003
Hiding Names: Private Authentication in the Applied Pi Calculus
Cédric Fournet, Martın Abadi
International Symposium on Software Security (ISSS'02) | November 2002
JoCaml: a Language for Concurrent Distributed and Mobile Programming
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
Proceedings of the Fourth Summer School on Advanced Functional Programming | August 2002
Modern Concurrency Abstractions for C#
Nick Benton, Luca Cardelli, Cédric Fournet
ACM Transactions on Programming Languages and Systems (TOPLAS), Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP '02) | April 2002
Superseded by ECOOP version.
-
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
SecPAL: Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
Journal of Computer Security | January 2010, Vol 18(4): pp. 619-665
Verifying Policy-Based Web Services Security
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Transactions on Programming Languages and Systems | October 2008, Vol 30(6)
A Secure Compiler for Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer
Journal of Computer Security (Special issue for CSF'07) | January 2008
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
ACM Transactions on Programming Languages and Systems | August 2007, Vol 29(5)
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
Theoretical Computer Science; Theoretical Foundations of Security Analysis and Design II | June 2005, Vol 340(1): pp. 102-153
-
Toward Confidential Cloud Computing
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
January 2021
-
CCF: A Framework for Building Confidential Verifiable Replicated Services
Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
MSR-TR-2019-16 | April 2019
Published by Microsoft
Observing and Preventing Leakage in MapReduce
Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
MSR-TR-2015-70 | September 2015
Published by Microsoft
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris
MSR-TR-2014-99 | July 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
VC3: Trustworthy Data Analytics in the Cloud
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
MSR-TR-2014-39 | February 2014
ZQL: A Compiler for Privacy-Preserving Data Processing
Cédric Fournet, Markulf Kohlweiss, George Danezis
MSR-TR-2013-25 | February 2013
Secure Distributed Programming with Value-Dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
A Type Discipline for Authorization in Distributed Systems
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2007-47 | July 2007
ISBN: 0-7695-2819-8
20th IEEE Computer Security Foundations Symposium, 2007. CSF '07.
Design and Semantics of a Decentralized Authorization Language
Moritz Becker, Cédric Fournet, Andy Gordon
MSR-TR-2006-120 | July 2007
ISBN: 0-7695-2819-8
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE
Verified Interoperable Implementations of Security Protocols
Karthik Bhargavan, Cédric Fournet, Andy Gordon, Stephen Tse
MSR-TR-2006-46 | July 2007
ISBN: 0-7695-2615-2
Computer Security Foundations Workshop, 2006. 19th IEEE
A Type Discipline for Authorization Policies
Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2005-01 | April 2005
ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.
Secure Sessions for Web Services
Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Andy Gordon
MSR-TR-2004-114 | October 2004
ISBN: 1-58113-973-X
2004 ACM Workshop on Secure Web Services (SWS 2004)
Verifying Policy-Based Security for Web Services
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2004-84 | October 2004
ISBN: 1-58113-961-6
CCS '04 Proceedings of the 11th ACM conference on Computer and communications security
Stuck-Free Conformance Theory for CCS
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
A Semantics for Web Services Authentication
Karthik Bhargavan, Cédric Fournet, Andy Gordon
MSR-TR-2003-83 | January 2004
ISBN: 1-58113-729-X
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA
Stack Inspection: Theory and Variants
Cédric Fournet, Andy Gordon
MSR-TR-2001-103 | January 2002
ISBN: 1-58113-450-9
Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence
-
The Join-Calculus: a Calculus for Distributed Mobile Programming
November 1998
November 1998
-
Cryptographic Verification by Typing for a Sample Protocol Implementation
Cédric Fournet, Karthik Bhargavan, Andy Gordon
Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858 | Lecture Notes in Computer Science 6858 edition
ISBN: 978-3-642-23081-3 (Print) 978-3-642-23082-0 (Online)
Lecture Notes in Computer Science 6858