Scholar
François Dupressoir
Google Scholar ID: gxFJ_bYAAAAJ
Associate Professor in Cryptography, School of Computer Science, University of Bristol
Formal Methods
Software Verification
Computer-Aided Cryptography
Language-Based Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,081
H-index
16
i10-index
18
Publications
20
Co-authors
28
list available
Contact
No contact links provided.
Publications
1 items
ShannonProver: Towards Automating Formal Cryptographic Proofs
2026
Cited
0
Resume (English only)
Co-authors
28 total
Gilles Barthe
MPI-SP and IMDEA Software Institute
Co-author 2
Pierre-Yves Strub
Research Scientist, PQShield
Co-author 4
Co-author 5
Co-author 6
Co-author 7
Co-author 8