Cédric Fournet

Computer Science · Physical Sciences

57h-index11.3kcitations177works2.52yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Security and Verification in Computing(77), Advanced Authentication Protocols Security(60), Cryptography and Data Security(50), Advanced Malware Detection Techniques(35), User Authentication and Security Systems(35)

Publications177 total

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arXiv (Cornell University)·2025Open Access
Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring
2024· 2 citedOpen Access
Principled Microarchitectural Isolation on Cloud CPUs
2024· 5 citedOpen Access
Confidential Computing Proofs
Queue·2024· 3 citedOpen Access
Why Should I Trust Your Code?
Communications of the ACM·2023· 3 citedOpen Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
arXiv (Cornell University)·2023Open Access
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Proceedings of the VLDB Endowment·2023· 14 cited
Why Should I Trust Your Code?
Queue·2023· 10 citedOpen Access
ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER
2023· 3 citedOpen Access
Confidential Machine Learning within Graphcore IPUs
arXiv (Cornell University)·2022· 3 citedOpen Access
Key-Schedule Security for the TLS 1.3 Standard
Lecture notes in computer science·2022· 15 citedOpen Access
AMP
2021· 16 citedOpen Access
PAC: Practical Accountability for CCF.
arXiv (Cornell University)·2021· 2 citedOpen Access
IA-CCF: Individual Accountability for Permissioned Ledgers
arXiv (Cornell University)·2021· 3 citedOpen Access
Toward confidential cloud computing
Communications of the ACM·2021· 28 cited
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
2021· 19 cited
Toward Confidential Cloud Computing
Queue·2021· 18 citedOpen Access
Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
2020· 11 cited
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
2020· 75 citedOpen Access
AMP: Authentication of Media via Provenance
arXiv (Cornell University)·2020· 3 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

Karthikeyan Bhargavan(21), Andrew D. Gordon(11), Nikhil Swamy(10), Markulf Kohlweiss(10), Pierre-Yves Strub(9), Santiago Zanella-Béguelin(8), Martı́n Abadi(7), Antoine Delignat-Lavaud(6), Georges Gonthier(6), Sergio Maffeis(5), Aseem Rastogi(4), A. Pironti(4), Bryan Parno(3), Juan Chen(3), Jonathan Protzenko(3), George Danezis(3), Andrew Gordon(3), Natalia Kulatova(2), Aseem Rastogi(2), Félix Schuster(2)