Dr François Dupressoir

BSc, MSc, PhD

  • BS8 1UB

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

Fingerprint

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Strong Non-Interference and Type-Directed Higher-Order Masking

    Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P-A., Grégoire, B., Strub, P-Y. & Zucchini, R., 1 Oct 2016, 23rd ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. October 2016. p. 116-129 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

  • Verifying Constant-Time Implementations

    Bacelar Almeida, J., Barbosa, M., Barthe, G., Dupressoir, F. & Emmi, M., 10 Aug 2016, SEC'16 25th USENIX Security Symposium. USENIX Association, Vol. August 2016. p. 53-70 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)