François Dupressoir

Strong Non-Interference and Type-Directed Higher-Order Masking

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · 2016 · 216 citations

Engineering, Information Security, Verification +25

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

Certified computer-aided cryptography

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2013 · 42 citations · Full text

Cryptographic Primitive, Engineering, Information Security +21

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens et al. · 2011 · 36 citations

Cryptographic Primitive, Engineering, Information Security +18

Synthesis of Fault Attacks on Cryptographic Implementations

Gilles Barthe, François Dupressoir, Pierre-Alain Fouque et al. · 2014 · 35 citations

Cryptographic Primitive, Engineering, Information Security +17