François Dupressoir

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

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

Computing, Computer Engineering, Computer Science +13

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

Computing, Computer Engineering, Computer Science +16

Certified computer-aided cryptography

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

Computing, Computer Engineering, Computer Science +16

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

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

Computing, Computer Science, Cryptography +16

Synthesis of Fault Attacks on Cryptographic Implementations

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

Computing, Computer Engineering, Computer Science +14