Skip to Main content Skip to Navigation
  1. Search


...
hal-01410216v1  Conference papers
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire et al.  Strong Non-Interference and Type-Directed Higher-Order Masking
CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.116 - 129, ⟨10.1145/2976749.2978427⟩
...
hal-01624270v1  Conference papers
Véronique Cortier, Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub et al.  Machine-Checked Proofs of Privacy for Electronic Voting Protocols
38th IEEE Symposium on Security and Privacy (S&P'17), May 2017, San Jose, United States. pp.993 - 1008, ⟨10.1109/SP.2017.28⟩
...
hal-01900081v1  Conference papers
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi. Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
...
hal-02404581v1  Conference papers
José Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir et al.  Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.1607-1622, ⟨10.1145/3319535.3363211⟩
...
hal-01414009v1  Conference papers
Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert et al.  Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
Advances in Cryptology - 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. pp.535--566
...
hal-03133221v1  Journal articles
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire et al.  Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
Journal of Cryptographic Engineering, Springer, 2020, 10 (1), pp.17-26. ⟨10.1007/s13389-018-00202-2⟩
...
hal-01094057v1  Conference papers
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Mehdi Tibouchi, Jean-Christophe Zapalowicz et al.  Making RSA–PSS Provably Secure against Non-random Faults
Cryptographic Hardware and Embedded Systems - 2014, Sep 2014, Busan, South Korea. pp.206 - 222, ⟨10.1007/978-3-662-44709-3_12⟩
...
hal-01094034v1  Conference papers
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Jean-Christophe Zapalowicz. Synthesis of Fault Attacks on Cryptographic Implementations
ACM CCS 2014, Nov 2014, Scottsdale, United States. pp.16, ⟨10.1145/2660267.2660304⟩
...
hal-01959554v1  Conference papers
Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire. Formal Security Proof of CMAC and Its Variants
CSF 2018 - 31st EEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom