Dr Francois Dupressoir

Dr Francois Dupressoir

BSc, MSc, PhD

Expertise

I work on developing and applying computer-aided techniques for the evaluation of cryptographic algorithms and protocols, and their implementations.

  • Cryptography
  • Software Security
  • Machine-Checked Proofs
  • Program Verification
  • machine-checked cryptographic proofs
  • side-channels and countermeasures
  • secure and trustworthy electronic voting

Current positions