If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

  • Machine-checked cryptographic proofs
  • High-assurance cryptography
  • Formal methods for correct and secure software
  • Side-channel countermeasures

Structured keywords and research groupings

  • Cyber Security
  • Cryptography
  • Software Security
  • Programming Languages
  • Machine-Checked Proofs
  • Program Verification


  • machine-checked cryptographic proofs
  • side-channels and countermeasures
  • secure and trustworthy electronic voting


Dive into the research topics where François Dupressoir is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or