François Dupressoir
Scholar

François Dupressoir

Google Scholar ID: gxFJ_bYAAAAJ
Associate Professor in Cryptography, School of Computer Science, University of Bristol
Formal MethodsSoftware VerificationComputer-Aided CryptographyLanguage-Based Security
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.
Resume (English only)