| Verifying Constant-Time Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium, 2016 | 356 | 2016 |
| Strong non-interference and type-directed higher-order masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub, ... ACM CCS, 2016 | 350* | 2016 |
| EasyCrypt: A Tutorial G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub Foundations of Security Analysis and Design VII, 146-166, 2014 | 236 | 2014 |
| Verified Proofs of Higher-Order Masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub Eurocrypt, 2015 | 219 | 2015 |
| Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model G Barthe, F Dupressoir, S Faust, B Grégoire, FX Standaert, PY Strub IACR Cryptology ePrint Archive, 2016: 912, 2016 | 178 | 2016 |
| Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir | 83 | 2015 |
| Guiding a general-purpose C verifier to prove cryptographic protocols F Dupressoir, AD Gordon, J Jürjens, DA Naumann Journal of Computer Security 22 (5), 823-866, 2014 | 65 | 2014 |
| Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir | 64 | 2013 |
| Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and secure high-assurance implementations of SHA-3 JB Almeida, C Baritel-Ruet, M Barbosa, G Barthe, F Dupressoir, ... Proceedings of the 26th ACM Conference on Computer and Communications …, 2019 | 60 | 2019 |
| Machine-Checked Proofs of Privacy for Electronic Voting Protocols V Cortier, CC Drăgan, F Dupressoir, B Schmidt, PY Strub, B Warinschi Security and Privacy (SP), 2017 IEEE Symposium on, 993-1008, 2017 | 51 | 2017 |
| Synthesis of Fault Attacks on Cryptographic Implementations G Barthe, F Dupressoir, PA Fouque, B Gregoire, JC Zapalowicz | 48 | 2014 |
| Machine-checked proofs for electronic voting: privacy and verifiability for Belenios V Cortier, CC Dragan, F Dupressoir, B Warinschi 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 298-312, 2018 | 39 | 2018 |
| A Fast and Verified Software Stack for Secure Function Evaluation JB Almeida, M Barbosa, G Barthe, F Dupressoir, B Grégoire, V Laporte, ... Proceedings of The 2017 ACM Conference on Computer and Communications …, 2017 | 36 | 2017 |
| Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, FX Standaert, ... Journal of Cryptographic Engineering 10 (1), 17-26, 2020 | 26 | 2020 |
| Making RSA-PSS Provably Secure Against Non-Random Faults G Barthe, F Dupressoir, PA Fouque, B Grégoire, M Tibouchi, ... | 20 | 2014 |
| Verifying Cryptographic Code in C: Some Experience and the Csec Challenge M Aizatulin, F Dupressoir, AD Gordon, J Jürjens Formal Aspects of Security and Trust (FAST), 2011 | 14 | 2011 |
| Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox F Dupressoir, K Kohbrok, S Oechsner 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 227-242, 2022 | 11 | 2022 |
| Mechanised Models and Proofs for Distance-Bounding I Boureanu, CC Drăgan, F Dupressoir, D Gérault, P Lafourcade 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 9 | 2021 |
| VMV: Augmenting an Internet Voting System with Selene Verifiability M Sallal, S Schneider, M Casey, C Dragan, F Dupressoir, L Riley, ... arXiv preprint arXiv:1912.00288, 2019 | 9 | 2019 |
| Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co CC Drăgan, F Dupressoir, E Estaji, K Gjøsteen, T Haines, PYA Ryan, ... 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 319-331, 2022 | 8 | 2022 |
Gilles BartheMPI-SP and IMDEA Software InstituteGeverifieerd e-mailadres voor mpi-sp.org
Benjamin GregoireInria Sophia-AntipolisGeverifieerd e-mailadres voor inria.frPierre-Yves StrubResearch Scientist, PQShieldGeverifieerd e-mailadres voor strub.nu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECGeverifieerd e-mailadres voor fc.up.pt
Pierre-Alain FouqueProfessor of Computer Science, Rennes University, IRISA, Institut Universitaire de FranceGeverifieerd e-mailadres voor ens.fr
Sonia BelaïdCryptoExpertsGeverifieerd e-mailadres voor cryptoexperts.com
Benedikt SchmidtSnowflakeGeverifieerd e-mailadres voor snowflake.com
Andrew D GordonCogna and University of EdinburghGeverifieerd e-mailadres voor cogna.co
Jan JürjensUniversität Koblenz-Landau, GermanyGeverifieerd e-mailadres voor jurjens.de
Francois-Xavier StandaertResearch Director (FNRS-F.R.S), Professor, UCLouvainGeverifieerd e-mailadres voor uclouvain.be
Michael EmmiAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Véronique CortierCNRS, LORIAGeverifieerd e-mailadres voor loria.fr
Helen TreharneProfessor, Surrey Centre for Cyber SecurityGeverifieerd e-mailadres voor surrey.ac.uk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyGeverifieerd e-mailadres voor cs.stevens.edu
