Cédric Fournet

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 45

Top Venues

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

CoRR

POPL

Publications

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code? Commun. ACM 67 (1) (2024)
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
Confidential Computing within an AI Accelerator. USENIX Annual Technical Conference (2023)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. USENIX Security Symposium (2023)
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. CPP (2023)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manual Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17 (2) (2023)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
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. ACM Queue 21 (4) (2023)
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
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
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
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI (2022)
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
Confidential Machine Learning within Graphcore IPUs. CoRR (2022)
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-Schedule Security for the TLS 1.3 Standard. ASIACRYPT (1) (2022)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward confidential cloud computing. Commun. ACM 64 (6) (2021)
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-schedule Security for the TLS 1.3 Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue 19 (1) (2021)
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
PAC: Practical Accountability for CCF. CoRR (2021)
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
AMP: authentication of media via provenance. MMSys (2021)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IEEE Symposium on Security and Privacy (2021)
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
AMP: Authentication of Media via Provenance. CoRR (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy (2020)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020 (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019 (2019)
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. USENIX Security Symposium (2019)
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
State Separation for Code-Based Game-Playing Proofs. ASIACRYPT (3) (2018)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP (2018)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a witness: foundations and applications of monotonic state. Proc. ACM Program. Lang. 2 (POPL) (2018)
Martín Abadi, Bruno Blanchet, Cédric Fournet
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. J. ACM 65 (1) (2018)
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
Implementing and Proving the TLS 1.3 Record Layer. IEEE Symposium on Security and Privacy (2017)
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)
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
Verified low-level programming embedded in F. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A Monadic Framework for Relational Verification (Functional Pearl). CoRR (2017)
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan 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
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL (2017)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a Witness: Foundations and Applications of Monotonic State. CoRR (2017)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A messy state of the union: taming the composite state machines of TLS. Commun. ACM 60 (2) (2017)
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
Formal Verification of Smart Contracts: Short Paper. PLAS@CCS (2016)
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. IEEE Symposium on Security and Privacy (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. CCS (2016)
Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
Oblivious Multi-Party Machine Learning on Trusted Processors. USENIX Security Symposium (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IEEE Symposium on Security and Privacy (2016)
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
Dependent types and multi-monadic effects in F. POPL (2016)
Martín Abadi, Bruno Blanchet, Cédric Fournet
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. CoRR (2016)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss
miTLS: Verifying Protocol Implementations against Real-World Attacks. IEEE Secur. Priv. 14 (6) (2016)
Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella Béguelin
Downgrade Resilience in Key-Exchange Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. IACR Cryptol. ePrint Arch. 2016 (2016)
Cédric Fournet
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. PLAS@CCS (2016)
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
Implementing and Proving the TLS 1.3 Record Layer. IACR Cryptol. ePrint Arch. 2016 (2016)
Cédric Fournet, Chantal Keller, Vincent Laporte
A Certified Compiler for Verifiable Computing. CSF (2016)
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
VC3: Trustworthy Data Analytics in the Cloud Using SGX. IEEE Symposium on Security and Privacy (2015)
Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
Observing and Preventing Leakage in MapReduce. CCS (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IEEE Symposium on Security and Privacy (2015)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A Messy State of the Union: Taming the Composite State Machines of TLS. IEEE Symposium on Security and Privacy (2015)
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris
Safe & Efficient Gradual Typing for TypeScript. POPL (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (As It Is). CRYPTO (2) (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (as it is). IACR Cryptol. ePrint Arch. 2014 (2014)
George Danezis, Cédric Fournet, Jens Groth, Markulf Kohlweiss
Square Span Programs with Applications to Succinct NIZK Arguments. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin
Probabilistic relational verification for cryptographic implementations. POPL (2014)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, Pierre-Yves Strub
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. IEEE Symposium on Security and Privacy (2014)
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman
Gradual typing embedded securely in JavaScript. POPL (2014)
George Danezis, Cédric Fournet, Jens Groth, Markulf Kohlweiss
Square Span Programs with Applications to Succinct NIZK Arguments. ASIACRYPT (1) (2014)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Pinocchio coin: building zerocoin from a succinct pairing-based proof system. PETShop@CCS (2013)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
Implementing TLS with Verified Cryptographic Security. IEEE Symposium on Security and Privacy (2013)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. J. Funct. Program. 23 (4) (2013)
Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo
ZQL: A Compiler for Privacy-Preserving Data Processing. USENIX Security Symposium (2013)
George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella Béguelin
Smart meter aggregation via secret-sharing. SEGS@CCS (2013)
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits
Fully abstract compilation to JavaScript. POPL (2013)
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
Self-certification: bootstrapping certified typecheckers in F* with Coq. POPL (2012)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15 (1) (2012)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. ICFP (2011)
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub
Modular code-based cryptographic verification. CCS (2011)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Cédric Fournet, Jérémy Planul
Compiling Information-Flow Security to Minimal Trusted Computing Bases. ESOP (2011)
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
Cryptographic Verification by Typing for a Sample Protocol Implementation. FOSAD (2011)
Cédric Fournet, Jérémy Planul, Tamara Rezk
Information-flow types for homomorphic encryptions. CCS (2011)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Modular verification of security protocol code by typing. POPL (2010)
Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts
Typechecking Higher-Order Security Libraries. APLAS (2010)
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
SecPAL: Design and semantics of a decentralized authorization language. J. Comput. Secur. 18 (4) (2010)
Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli
Reliable Evidence: Auditability by Typing. ESORICS (2009)
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF (2009)
Jérémy Planul, Ricardo Corin, Cédric Fournet
Secure Enforcement for Global Process Specifications. CONCUR (2009)
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. CCS (2009)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
A secure compiler for session abstractions. J. Comput. Secur. 16 (5) (2008)
Cédric Fournet, Tamara Rezk
Cryptographically sound implementations for typed information-flow security. POPL (2008)
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
Code-Carrying Authorization. ESORICS (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30 (6) (2008)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Cryptographically verified implementations for TLS. CCS (2008)
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
A Formal Implementation of Value Commitment. ESOP (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Bruno Blanchet, Martín Abadi, Cédric Fournet
Automated verification of selected equivalences for security protocols. J. Log. Algebraic Methods Program. 75 (1) (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy
Verified implementations of the information card federated identity-management protocol. AsiaCCS (2008)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement Types for Secure Implementations. CSF (2008)
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
Design and Semantics of a Decentralized Authorization Language. CSF (2007)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10 (2) (2007)
Martín Abadi, Bruno Blanchet, Cédric Fournet
Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. 10 (3) (2007)
Cédric Fournet, Andy Gordon, Sergio Maffeis
A Type Discipline for Authorization in Distributed Systems. CSF (2007)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
Secure Implementations for Typed Session Abstractions. CSF (2007)
Martín Abadi, Ricardo Corin, Cédric Fournet
Computational Secrecy by Typing for the Pi Calculus. APLAS (2006)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Verified Reference Implementations of WS-Security Protocols. WS-FM (2006)
Pedro Adão, Cédric Fournet
Cryptographically Sound Implementations for Communicating Processes. ICALP (2) (2006)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified Interoperable Implementations of Security Protocols. CSFW (2006)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A Type Discipline for Authorization Policies. ESOP (2005)

Cédric Fournet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cédric Fournet