C. Fournet

Most-cited papers

VC3: Trustworthy Data Analytics in the Cloud Using SGX
Felix Schuster, M. Costa, C. Fournet, Christos Gkantsidis +3 more
2015IEEE Symposium on Security and Privacy678 citations Open access
Semantic Scholar
Formal Verification of Smart Contracts: Short Paper
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, Anitha Gollamudi +7 more
2016PLAS@CCS645 citations Open access
Semantic Scholar
Oblivious Multi-Party Machine Learning on Trusted Processors
O. Ohrimenko, Felix Schuster, C. Fournet, Aastha Mehta +3 more
2016USENIX Security Symposium610 citations
Semantic Scholar
Dependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hrițcu, C. Keller, Aseem Rastogi +8 more
2016ACM-SIGACT Symposium on Principles of Programming Languages457 citations Open access
Semantic Scholar
SecPAL: Design and semantics of a decentralized authorization language
Moritz Y. Becker, C. Fournet, A. Gordon
2010Journal of computing and security347 citations Open access
Semantic Scholar
A Messy State of the Union: Taming the Composite State Machines of TLS
B. Beurdouche, K. Bhargavan, A. Delignat-Lavaud, C. Fournet +4 more
2015IEEE Symposium on Security and Privacy305 citations Open access
Semantic Scholar
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, C. Fournet, Pierre-Yves Strub +2 more
2011Journal of functional programming296 citations Open access
Semantic Scholar
Geppetto: Versatile Verifiable Computation
Craig Costello, C. Fournet, Jon Howell, M. Kohlweiss +4 more
2015IEEE Symposium on Security and Privacy242 citations Open access
Semantic Scholar
Refinement Types for Secure Implementations
Jesper Bengtson, K. Bhargavan, C. Fournet, A. Gordon +1 more
2008IEEE Computer Security Foundations Symposium241 citations Open access
Semantic Scholar
Implementing TLS with Verified Cryptographic Security
K. Bhargavan, C. Fournet, M. Kohlweiss, A. Pironti +1 more
2013IEEE Symposium on Security and Privacy218 citations Open access
Semantic Scholar
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
K. Bhargavan, Antoine Delignat Lavaud, C. Fournet, A. Pironti +1 more
2014IEEE Symposium on Security and Privacy215 citations Open access
Semantic Scholar
Verified interoperable implementations of security protocols
K. Bhargavan, C. Fournet, A. Gordon, Stephen Tse
200619th IEEE Computer Security Foundations Workshop (CSFW'06)179 citations Open access
Semantic Scholar
Verified low-level programming embedded in F*
Jonathan Protzenko, J. Zinzindohoue, Aseem Rastogi, T. Ramananandro +7 more
2017Proc. ACM Program. Lang.175 citations Open access
Semantic Scholar
Code-Carrying Authorization
S. Maffeis, M. Abadi, C. Fournet, A. Gordon
2008European Symposium on Research in Computer Security144 citations Open access
Semantic Scholar
Square Span Programs with Applications to Succinct NIZK Arguments
G. Danezis, C. Fournet, Jens Groth, M. Kohlweiss
2014International Conference on the Theory and Application of Cryptology and Information Security136 citations Open access
Semantic Scholar
Safe & Efficient Gradual Typing for TypeScript
Aseem Rastogi, Nikhil Swamy, C. Fournet, G. Bierman +1 more
2015ACM-SIGACT Symposium on Principles of Programming Languages133 citations
Semantic Scholar
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, C. Hawblitzel +12 more
2020IEEE Symposium on Security and Privacy129 citations Open access
Semantic Scholar
Pinocchio coin: building zerocoin from a succinct pairing-based proof system
G. Danezis, C. Fournet, M. Kohlweiss, Bryan Parno
2013PETShop '13128 citations
Semantic Scholar
Modular verification of security protocol code by typing
K. Bhargavan, C. Fournet, A. Gordon
2010ACM-SIGACT Symposium on Principles of Programming Languages121 citations Open access
Semantic Scholar
Cryptographically verified implementations for TLS
K. Bhargavan, C. Fournet, R. Corin, E. Zalinescu
2008Conference on Computer and Communications Security119 citations
Semantic Scholar
Fully abstract compilation to JavaScript
C. Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand +2 more
2013ACM-SIGACT Symposium on Principles of Programming Languages111 citations Open access
Semantic Scholar
The Applied Pi Calculus
M. Abadi, B. Blanchet, C. Fournet
2016Journal of the ACM110 citations Open access
Semantic Scholar
Probabilistic relational verification for cryptographic implementations
G. Barthe, C. Fournet, Benjamin Grégoire, Pierre-Yves Strub +2 more
2014ACM-SIGACT Symposium on Principles of Programming Languages109 citations
Semantic Scholar
Smart meter aggregation via secret-sharing
G. Danezis, C. Fournet, M. Kohlweiss, Santiago Zanella-Béguelin
2013ACM workshop on Smart Energy Grid Security102 citations
Semantic Scholar
Proving the TLS Handshake Secure (as it is)
K. Bhargavan, C. Fournet, M. Kohlweiss, A. Pironti +2 more
2014IACR Cryptology ePrint Archive100 citations Open access
Semantic Scholar
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
K. Bhargavan, R. Corin, Pierre-Malo Deniélou, C. Fournet +1 more
2009IEEE Computer Security Foundations Symposium97 citations
Semantic Scholar
CCF: A Framework for Building Confidential Verifiable Replicated Services
M. Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro +15 more
201996 citations
Semantic Scholar
Observing and Preventing Leakage in MapReduce
O. Ohrimenko, M. Costa, C. Fournet, Christos Gkantsidis +2 more
2015Conference on Computer and Communications Security93 citations
Semantic Scholar
Modular code-based cryptographic verification
C. Fournet, M. Kohlweiss, Pierre-Yves Strub
2011Conference on Computer and Communications Security85 citations Open access
Semantic Scholar
Cryptographically sound implementations for typed information-flow security
C. Fournet, Tamara Rezk
2008ACM-SIGACT Symposium on Principles of Programming Languages85 citations
Semantic Scholar
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
A. Delignat-Lavaud, C. Fournet, M. Kohlweiss, Bryan Parno
2016IEEE Symposium on Security and Privacy84 citations
Semantic Scholar
Everest: Towards a Verified, Drop-in Replacement of HTTPS
K. Bhargavan, Barry Bond, A. Delignat-Lavaud, C. Fournet +18 more
2017Summit on Advances in Programming Languages83 citations Open access
Semantic Scholar
A Type Discipline for Authorization in Distributed Systems
C. Fournet, A. Gordon, S. Maffeis
2007IEEE Computer Security Foundations Symposium82 citations Open access
Semantic Scholar
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
T. Ramananandro, A. Delignat-Lavaud, C. Fournet, Nikhil Swamy +3 more
2019USENIX Security Symposium76 citations
Semantic Scholar
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, C. Fournet, Esha Ghosh, M. Kohlweiss +2 more
2016Conference on Computer and Communications Security71 citations Open access
Semantic Scholar
Gradual typing embedded securely in JavaScript
Nikhil Swamy, C. Fournet, Aseem Rastogi, K. Bhargavan +3 more
2014ACM-SIGACT Symposium on Principles of Programming Languages70 citations
Semantic Scholar
Design and Semantics of a Decentralized Authorization Language
Moritz Y. Becker, C. Fournet, Andrew D. Gordon
2007IEEE Computer Security Foundations Symposium62 citations
Semantic Scholar
Downgrade Resilience in Key-Exchange Protocols
K. Bhargavan, C. Brzuska, C. Fournet, M. Green +2 more
2016IEEE Symposium on Security and Privacy58 citations
Semantic Scholar
Toward confidential cloud computing
M. Russinovich, M. Costa, C. Fournet, D. Chisnall +4 more
2021Queue55 citations Open access
Semantic Scholar
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
C. Fournet, Gurvan Le Guernic, Tamara Rezk
2009Conference on Computer and Communications Security50 citations
Semantic Scholar
Secure Implementations for Typed Session Abstractions
R. Corin, Pierre-Malo Deniélou, C. Fournet, K. Bhargavan +1 more
2007IEEE Computer Security Foundations Symposium50 citations Open access
Semantic Scholar
Verified Cryptographic Implementations for TLS
K. Bhargavan, C. Fournet, R. Corin, E. Zalinescu
2012TSEC48 citations Open access
Semantic Scholar
Verified implementations of the information card federated identity-management protocol
K. Bhargavan, C. Fournet, A. Gordon, Nikhil Swamy
2008ACM Asia Conference on Computer and Communications Security46 citations
Semantic Scholar
ZQL: A Compiler for Privacy-Preserving Data Processing
C. Fournet, M. Kohlweiss, G. Danezis, Zhengqin Luo
2013USENIX Security Symposium43 citations
Semantic Scholar
State Separation for Code-Based Game-Playing Proofs
C. Brzuska, A. Delignat-Lavaud, C. Fournet, Konrad Kohbrok +1 more
2018International Conference on the Theory and Application of Cryptology and Information Security41 citations
Semantic Scholar
Cryptographically Sound Implementations for Communicating Processes
P. Adão, C. Fournet
2006International Colloquium on Automata, Languages and Programming41 citations
Semantic Scholar
Reliable Evidence: Auditability by Typing
N. Guts, C. Fournet, F. Z. Nardelli
2009European Symposium on Research in Computer Security35 citations Open access
Semantic Scholar
AMP: authentication of media via provenance
P. England, Henrique S. Malvar, E. Horvitz, J. Stokes +16 more
2020ACM SIGMM Conference on Multimedia Systems34 citations Open access
Semantic Scholar
Self-certification: bootstrapping certified typecheckers in F* with Coq
Pierre-Yves Strub, Nikhil Swamy, C. Fournet, Juan Chen
2012ACM-SIGACT Symposium on Principles of Programming Languages34 citations
Semantic Scholar
Confidential Computing within an AI Accelerator
K. Vaswani, Stavros Volos, C. Fournet, Antonio Nino Diaz +8 more
2023USENIX Annual Technical Conference32 citations
Semantic Scholar