Skip to Main content Skip to Navigation

hal-01410216v1  Conference papers
Gilles BartheSonia BelaïdFrançois DupressoirPierre-Alain FouqueBenjamin 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 CortierCatalin DraganFrançois DupressoirBenedikt SchmidtPierre-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 CortierConstantin Catalin DraganFrançois DupressoirBogdan 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-01414009v1  Conference papers
Gilles BartheFrançois DupressoirSebastian FaustBenjamin GrégoireFranç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-01094057v1  Conference papers
Gilles BartheFrançois DupressoirPierre-Alain FouqueMehdi TibouchiJean-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-01959554v1  Conference papers
Cécile Baritel-RuetFrançois DupressoirPierre-Alain FouqueBenjamin Grégoire. Formal Security Proof of CMAC and Its Variants
CSF 2018 - 31st EEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom