Dr Francois Dupressoir

Dr Francois Dupressoir

BSc, MSc, PhD


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


Press and media

Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team: