معرفی
Dr François Dupressoir is an Associate Professor in Cryptography at the School of Computer Science, University of Bristol. His research focuses on high-assurance cryptography, formal methods for secure software, and side-channel countermeasures.
- BSc
- MSc
- PhD
His work spans Cyber Security, Cryptography, and Software Verification, with recent contributions to constant-time implementation verification and type-directed masking techniques. These publications emphasize formal methods and side-channel resistance in cryptographic systems.
Key themes include machine-checked proofs, secure programming languages, and trusted electronic voting. His research outputs have been cited over 400 times (Scopus), referenced in 1 patent, and accessed by 43 researchers via Mendeley.
- Research Groups: Cyber Security, Cryptography, Software Verification
- Supervised Postgraduate Work: 4 items
François Dupressoir در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- FFrançois DupressoirIMDEA Software Institute · دانشیار
- FFrançois DupressoirSingapore Management University · دانشیار
- GGilles BartheMax Planck Institute for Security and Privacy · استاد پژوهشی
Gilles BartheIMDEA Software Institute · استاد پژوهشی
Adam ChlipalaNational and Kapodistrian University of Athens · استاد- JJonas SchuppTechnical University of Munich · پژوهشگر