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
Publications
1 items
ShannonProver: Towards Automating Formal Cryptographic Proofs
2026
Cited
0
Co-authors
3 total
Gilles Barthe
MPI-SP and IMDEA Software Institute
Pierre-Yves Strub
Research Scientist, PQShield
Helen Treharne
Professor, Surrey Centre for Cyber Security