| Secure information flow by self-composition G Barthe, P D'Argenio, T Rezk 17th IEEE Computer Security Foundations Workshop, 2004, 100-114, 2004 | 641* | 2004 |
| Privacy profiles and amplification by subsampling B Balle, G Barthe, M Gaboardi Journal of Privacy and Confidentiality 10 (1), 2020 | 480* | 2020 |
| Formal certification of code-based cryptographic proofs G Barthe, B Grégoire, S Zanella Béguelin Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009 | 440 | 2009 |
| Computer-aided security proofs for the working cryptographer G Barthe, B Grégoire, S Heraud, SZ Béguelin Annual Cryptology Conference, 71-90, 2011 | 387 | 2011 |
| Model-agnostic counterfactual explanations for consequential decisions AH Karimi, G Barthe, B Balle, I Valera International conference on artificial intelligence and statistics, 895-905, 2020 | 384 | 2020 |
| Verifying Constant-Time Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016 | 358 | 2016 |
| A survey of algorithmic recourse: contrastive explanations and consequential recommendations AH Karimi, G Barthe, B Schölkopf, I Valera ACM Computing Surveys 55 (5), 1-29, 2022 | 353* | 2022 |
| Strong non-interference and type-directed higher-order masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub, ... Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 342* | 2016 |
| Probabilistic relational reasoning for differential privacy G Barthe, B Köpf, F Olmedo, S Zanella Beguelin Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 296 | 2012 |
| Relational verification using product programs G Barthe, JM Crespo, C Kunz International Symposium on Formal Methods, 200-214, 2011 | 292 | 2011 |
| Easycrypt: A tutorial G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub International School on Foundations of Security Analysis and Design, 146-166, 2012 | 235 | 2012 |
| SoK: Computer-aided cryptography M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ... 2021 IEEE symposium on security and privacy (SP), 777-795, 2021 | 224 | 2021 |
| Verified proofs of higher-order masking G Barthe, S Belaïd, F Dupressoir, PA Fouque, B Grégoire, PY Strub Annual International Conference on the Theory and Applications of …, 2015 | 212 | 2015 |
| Jasmin: High-assurance and high-speed cryptography JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 201 | 2017 |
| System-level non-interference for constant-time cryptography G Barthe, G Betarte, J Campo, C Luna, D Pichardie Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 190 | 2014 |
| Parallel implementations of masking schemes and the bounded moment leakage model G Barthe, F Dupressoir, S Faust, B Grégoire, FX Standaert, PY Strub Advances in Cryptology–EUROCRYPT 2017: 36th Annual International Conference …, 2017 | 174 | 2017 |
| A certified lightweight non-interference Java bytecode verifier† G Barthe, D Pichardie, T Rezk Mathematical Structures in Computer Science 23 (5), 1032-1081, 2013 | 157* | 2013 |
| Constant-time foundations for the new spectre era S Cauligi, C Disselkoen, K Gleissenthall, D Tullsen, D Stefan, T Rezk, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 152 | 2020 |
| Type-based termination of recursive definitions G Barthe, MJ Frade, E Giménez, L Pinto, T Uustalu Mathematical structures in computer science 14 (1), 97-141, 2004 | 146 | 2004 |
| Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time” G Barthe, B Grégoire, V Laporte 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 328-343, 2018 | 136 | 2018 |
