Cdric Fournet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
20
Active years
1996–2024
Best venue rank
A*
Where they publish
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring. | Jana Hofmann, Cdric Fournet, Boris Kpf, Stavros Volos |
| 2024 | CCS | Principled Microarchitectural Isolation on Cloud CPUs. | Stavros Volos, Cdric Fournet, Jana Hofmann, Boris Kpf, Oleksii Oleksenko |
| 2023 | CPP | ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. | Haobin Ni, Antoine Delignat-Lavaud, Cdric Fournet, Tahina Ramananandro, Nikhil Swamy |
| 2023 | USENIX | Confidential Computing within an AI Accelerator. | Kapil Vaswani, Stavros Volos, Cdric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson |
| 2022 | ASIACRYPT | Key-Schedule Security for the TLS 1.3 Standard. | Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2022 | NSDI | IA-CCF: Individual Accountability for Permissioned Ledgers. | Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cdric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich |
| 2021 | MMSys | AMP: authentication of media via provenance. | Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cdric 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 |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 2020 | SP | 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, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2018 | ASIACRYPT | State Separation for Code-Based Game-Playing Proofs. | Chris Brzuska, Antoine Delignat-Lavaud, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | CCS | Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. | Dario Fiore, Cdric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno |
| 2016 | CCS | Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. | Cdric Fournet |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | SP | Downgrade Resilience in Key-Exchange Protocols. | Karthikeyan Bhargavan, Christina Brzuska, Cdric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2016 | SP | Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2015 | CCS | Observing and Preventing Leakage in MapReduce. | Olga Ohrimenko, Manuel Costa, Cdric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma |
| 2015 | POPL | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2015 | SP | A Messy State of the Union: Taming the Composite State Machines of TLS. | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |
| 2015 | SP | Geppetto: Versatile Verifiable Computation. | Craig Costello, Cdric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur |
| 2015 | SP | VC3: Trustworthy Data Analytics in the Cloud Using SGX. | Felix Schuster, Manuel Costa, Cdric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich |
| 2014 | ASIACRYPT | Square Span Programs with Applications to Succinct NIZK Arguments. | George Danezis, Cdric Fournet, Jens Groth, Markulf Kohlweiss |
| 2014 | CRYPTO | Proving the TLS Handshake Secure (As It Is). | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin |
| 2014 | POPL | Probabilistic relational verification for cryptographic implementations. | Gilles Barthe, Cdric Fournet, Benjamin Grgoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2014 | POPL | Gradual typing embedded securely in JavaScript. | Nikhil Swamy, Cdric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman |
| 2014 | SP | Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Alfredo Pironti, Pierre-Yves Strub |
| 2013 | CCS | Smart meter aggregation via secret-sharing. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Santiago Zanella-Bguelin |
| 2013 | CCS | Pinocchio coin: building zerocoin from a succinct pairing-based proof system. | George Danezis, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2013 | POPL | Fully abstract compilation to JavaScript. | Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2013 | SP | Implementing TLS with Verified Cryptographic Security. | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub |
| 2012 | POPL | Self-certification: bootstrapping certified typecheckers in F* with Coq. | Pierre-Yves Strub, Nikhil Swamy, Cdric Fournet, Juan Chen |
| 2011 | CCS | Modular code-based cryptographic verification. | Cdric Fournet, Markulf Kohlweiss, Pierre-Yves Strub |
| 2011 | CCS | Information-flow types for homomorphic encryptions. | Cdric Fournet, Jrmy Planul, Tamara Rezk |
| 2011 | ESOP | Compiling Information-Flow Security to Minimal Trusted Computing Bases. | Cdric Fournet, Jrmy Planul |
| 2011 | ICFP | Secure distributed programming with value-dependent types. | Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
| 2010 | APLAS | Typechecking Higher-Order Security Libraries. | Karthikeyan Bhargavan, Cdric Fournet, Nataliya Guts |
| 2010 | POPL | Modular verification of security protocol code by typing. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2009 | CCS | A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. | Cdric Fournet, Gurvan Le Guernic, Tamara Rezk |
| 2009 | CONCUR | Secure Enforcement for Global Process Specifications. | Jrmy Planul, Ricardo Corin, Cdric Fournet |
| 2009 | ESORICS | Reliable Evidence: Auditability by Typing. | Nataliya Guts, Cdric Fournet, Francesco Zappa Nardelli |
| 2008 | CCS | Cryptographically verified implementations for TLS. | Karthikeyan Bhargavan, Cdric Fournet, Ricardo Corin, Eugen Zalinescu |
| 2008 | CCS | Verified implementations of the information card federated identity-management protocol. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon, Nikhil Swamy |
| 2008 | ESOP | A Formal Implementation of Value Commitment. | Cdric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
| 2008 | ESORICS | Code-Carrying Authorization. | Sergio Maffeis, Martn Abadi, Cdric Fournet, Andrew D. Gordon |
| 2008 | POPL | Cryptographically sound implementations for typed information-flow security. | Cdric Fournet, Tamara Rezk |
| 2006 | APLAS | Computational Secrecy by Typing for the Pi Calculus. | Martn Abadi, Ricardo Corin, Cdric Fournet |
| 2006 | ICALP | Cryptographically Sound Implementations for Communicating Processes. | Pedro Ado, Cdric Fournet |
| 2005 | ESOP | A Type Discipline for Authorization Policies. | Cdric Fournet, Andrew D. Gordon, Sergio Maffeis |
| 2005 | LICS | Automated Verification of Selected Equivalences for Security Protocols. | Bruno Blanchet, Martn Abadi, Cdric Fournet |
| 2004 | CAV | Stuck-Free Conformance. | Cdric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
| 2004 | CCS | Verifying policy-based security for web services. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2004 | ESOP | Just Fast Keying in the Pi Calculus. | Martn Abadi, Bruno Blanchet, Cdric Fournet |
| 2004 | ICNP | Ethernet Topology Discovery without Network Assistance. | Richard Black, Austin Donnelly, Cdric Fournet |
| 2004 | POPL | A semantics for web services authentication. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2003 | NDSS | Access Control Based on Execution History. | Martn Abadi, Cdric Fournet |
| 2002 | ECOOP | Modern Concurrency Abstractions for C | Nick Benton, Luca Cardelli, Cdric Fournet |
| 2002 | POPL | Stack inspection: theory and variants. | Cdric Fournet, Andrew D. Gordon |
| 2001 | POPL | Mobile values, new names, and secure communication. | Martn Abadi, Cdric Fournet |
| 2000 | POPL | Authentication Primitives and Their Compilation. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1999 | SP | Secure Communications Processing for Distributed Languages. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1998 | ICALP | A Hierarchy of Equivalences for Asynchronous Calculi. | Cdric Fournet, Georges Gonthier |
| 1998 | LICS | Secure Implementation of Channel Abstractions. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1997 | CONCUR | Implicit Typing la ML for the Join-Calculus. | Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy |
| 1996 | CONCUR | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1996 | POPL | The Reflexive CHAM and the Join-Calculus. | Cdric Fournet, Georges Gonthier |