Research output per year
Research output per year
Personal profile
Research interests
- Machine-checked cryptographic proofs
- High-assurance cryptography
- Formal methods for correct and secure software
- Side-channel countermeasures
Research Groups and Themes
- Cyber Security
- Cryptography
- Software Security
- Programming Languages
- Machine-Checked Proofs
- Program Verification
Keywords
- machine-checked cryptographic proofs
- side-channels and countermeasures
- secure and trustworthy electronic voting
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
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 proceeding › Conference Contribution (Conference Proceeding)
184 Citations (Scopus) -
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 proceeding › Conference Contribution (Conference Proceeding)
190 Citations (Scopus)