Scholar
Cédric Fournet
Google Scholar ID: I30A7HcAAAAJ
Microsoft Research
Security
Programming Languages
Software Verification
Cryptography
Privacy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,906
H-index
37
i10-index
85
Publications
20
Co-authors
0
Publications
3 items
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
2026
Cited
0
Securing Filesystems for Confidential Computing
2026
Cited
0
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
2025
Cited
0
