| Analysis of AES, SKINNY, and others with constraint programming S Sun, D Gerault, P Lafourcade, Q Yang, Y Todo, K Qiao, L Hu IACR transactions on symmetric cryptology 2017 (1), 281--306, 2017 | 86 | 2017 |
| A deeper look at machine learning-based cryptanalysis A Benamira, D Gerault, T Peyrin, QQ Tan Advances in Cryptology–EUROCRYPT 2021: 40th Annual International Conference …, 2021 | 73 | 2021 |
| Constraint programming models for chosen key differential cryptanalysis D Gerault, M Minier, C Solnon Principles and Practice of Constraint Programming: 22nd International …, 2016 | 64 | 2016 |
| Revisiting AES related-key differential attacks with constraint programming D Gérault, P Lafourcade, M Minier, C Solnon Information Processing Letters 139, 24-29, 2018 | 50 | 2018 |
| A terrorist-fraud resistant and extractor-free anonymous distance-bounding protocol G Avoine, X Bultel, S Gambs, D Gérault, P Lafourcade, C Onete, ... Proceedings of the 2017 ACM on Asia conference on computer and …, 2017 | 42 | 2017 |
| Computing AES related-key differential characteristics with constraint programming D Gerault, P Lafourcade, M Minier, C Solnon Artificial intelligence 278, 103183, 2020 | 30 | 2020 |
| Survey of distance bounding protocols and threats A Brelurut, D Gerault, P Lafourcade Foundations and Practice of Security: 8th International Symposium, FPS 2015 …, 2016 | 29 | 2016 |
| Related-key cryptanalysis of midori D Gérault, P Lafourcade International Conference on Cryptology in India, 287-304, 2016 | 26 | 2016 |
| A prover-anonymous and terrorist-fraud resistant distance-bounding protocol X Bultel, S Gambs, D Gérault, P Lafourcade, C Onete, JM Robert 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks …, 2016 | 26 | 2016 |
| Verifiable private polynomial evaluation X Bultel, ML Das, H Gajera, D Gérault, M Giraud, P Lafourcade International Conference on Provable Security, 487-506, 2017 | 20 | 2017 |
| Exploring differential-based distinguishers and forgeries for ASCON D Gerault, T Peyrin, QQ Tan Cryptology ePrint Archive, 2021 | 18 | 2021 |
| Using constraint programming to solve a cryptanalytic problem D Gerault, M Minier, C Solnon IJCAI 2017-International Joint Conference on Artificial Intelligence (Sister …, 2017 | 11 | 2017 |
| From relay attacks to distance-bounding protocols G Avoine, I Boureanu, D Gérault, GP Hancke, P Lafourcade, C Onete Security of Ubiquitous Computing Systems: Selected Topics, 113-130, 2021 | 7 | 2021 |
| Verifiable and private oblivious polynomial evaluation H Gajera, M Giraud, D Gérault, ML Das, P Lafourcade IFIP International Conference on Information Security Theory and Practice, 49-65, 2019 | 6 | 2019 |
| Security analysis of contactless communication protocols D Gerault Université Clermont Auvergne [2017-2020], 2018 | 6 | 2018 |
| On the usage of deterministic (related-key) truncated differentials and multidimensional linear approximations for SPN ciphers L Sun, D Gerault, W Wang, M Wang IACR Transactions on Symmetric Cryptology, 262-287, 2020 | 5 | 2020 |
| A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences E Bellini, D Gerault, A Hambitzer, M Rossi Cryptology ePrint Archive, 2022 | 4 | 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 | 4 | 2021 |
| Combining solvers to solve a cryptanalytic problem D Gerault, P Lafourcade, M Minier, C Solnon CP 2017-Doctoral program 9, 104, 2017 | 4 | 2017 |
| Neurogift: Using a machine learning based sat solver for cryptanalysis L Sun, D Gerault, A Benamira, T Peyrin Cyber Security Cryptography and Machine Learning: Fourth International …, 2020 | 3 | 2020 |
