Survey of Distance Bounding Protocols and Threats. - Agnès Brelurut; David Gérault; Pascal Lafourcade 001 (FPS, 2015)

Constraint Programming Models for Chosen Key Differential Cryptanalysis. - David Gérault; Marine Minier; Christine Solnon (CP, 2016)

Related-Key Cryptanalysis of Midori. - David Gérault; Pascal Lafourcade 001 (INDOCRYPT, 2016)

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol. - Xavier Bultel; Sébastien Gambs; David Gérault; Pascal Lafourcade 001; Cristina Onete; Jean-Marc Robert 001 (WISEC, 2016)

Using Constraint Programming to solve a Cryptanalytic Problem. - David Gérault; Marine Minier; Christine Solnon (IJCAI, 2017)

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. - Gildas Avoine; Xavier Bultel; Sébastien Gambs; David Gérault; Pascal Lafourcade 001; Cristina Onete; Jean-Marc Robert 001 (IACR Cryptol. ePrint Arch., 2017)

Breaking and Fixing the HB+DB protocol. - Ioana Boureanu; David Gérault; Pascal Lafourcade 001; Cristina Onete (IACR Cryptol. ePrint Arch., 2017)

Verifiable Private Polynomial Evaluation. - Xavier Bultel; Manik Lal Das; Hardik Gajera; David Gérault; Matthieu Giraud; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2017)

Analysis of AES, SKINNY, and Others with Constraint Programming. - Siwei Sun; David Gérault; Pascal Lafourcade 001; Qianqian Yang 003; Yosuke Todo; Kexin Qiao; Lei Hu 003 (IACR Trans. Symmetric Cryptol., 2017)

Revisiting AES related-key differential attacks with constraint programming. - David Gérault; Pascal Lafourcade 001; Marine Minier; Christine Solnon (Inf. Process. Lett., 2018)

Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact). - David Gérault (2018)

Towards Secure TMIS Protocols. - David Gérault; Pascal Lafourcade 001 (FPS, 2019)

Here and There at Once, with my Mobile Phone! - Ioana Boureanu; David Gérault; James Lewis (ICETE (2), 2019)

Distance bounding under different assumptions: opinion. - David Gérault; Ioana Boureanu (WiSec, 2019)

Verifiable and Private Oblivious Polynomial Evaluation. - Hardik Gajera; Matthieu Giraud; David Gérault; Manik Lal Das; Pascal Lafourcade 001 (WISTP, 2019)

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis. - Ling Sun 001; David Gérault; Adrien Benamira; Thomas Peyrin (CSCML, 2020)

Computing AES related-key differential characteristics with constraint programming. - David Gérault; Pascal Lafourcade 001; Marine Minier; Christine Solnon (Artif. Intell., 2020)

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2020)

On the Usage of Deterministic (Related-Key) Truncated Differentials and Multidimensional Linear Approximations for SPN Ciphers. - Ling Sun 001; David Gérault; Wei Wang 035; Meiqin Wang (IACR Trans. Symmetric Cryptol., 2020)

From Relay Attacks to Distance-Bounding Protocols. - Gildas Avoine; Ioana Boureanu; David Gérault; Gerhard P. Hancke 002; Pascal Lafourcade 001; Cristina Onete (Security of Ubiquitous Computing Systems, 2021)

Mechanised Models and Proofs for Distance-Bounding. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (CSF, 2021)

Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models. - David Gérault (Financial Cryptography (1), 2021)

A Survey of Technologies for Building Trusted Networks. - Loganathan Parthipan; Liqun Chen 002; David Gérault; Yunpeng Li 001; Fei Liu; Christopher J. P. Newton; Donghui Wang (GLOBECOM (Workshops), 2021)

A Deeper Look at Machine Learning-Based Cryptanalysis. - Adrien Benamira; David Gérault; Thomas Peyrin; Quan Quan Tan (IACR Cryptol. ePrint Arch., 2021)

Exploring Differential-Based Distinguishers and Forgeries for ASCON. - David Gérault; Thomas Peyrin; Quan Quan Tan (IACR Trans. Symmetric Cryptol., 2021)

And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael. - Loïc Rouquette; David Gérault; Marine Minier; Christine Solnon (AFRICACRYPT, 2022)

Deep Learning-Based Rotational-XOR Distinguishers for AND-RX Block Ciphers: Evaluations on Simeck and Simon. - Amirhossein Ebrahimi; David Gérault; Paolo Palmieri 001 (SAC, 2023)

CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Yun Ju Huang; Mohamed Rachidi; Sharwan K. Tiwari; Rusydi H. Makarim (IACR Cryptol. ePrint Arch., 2023)

Fully Automated Differential-Linear Attacks against ARX Ciphers. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Rusydi H. Makarim; Thomas Peyrin (IACR Cryptol. ePrint Arch., 2023)

NNBits: Bit Profiling with a Deep Learning Ensemble Based Distinguisher. - Anna Hambitzer; David Gérault; Yun Ju Huang; Najwa Aaraj; Emanuele Bellini 002 (IACR Cryptol. ePrint Arch., 2023)

Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Rusydi H. Makarim; Thomas Peyrin (IACR Trans. Symmetric Cryptol., 2023)

A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences. - Emanuele Bellini 002; David Gérault; Anna Hambitzer; Matteo Rossi (IACR Trans. Symmetric Cryptol., 2023)

CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. - Emanuele Bellini 002; Mattia Formenti; David Gérault; Juan Grados 002; Anna Hambitzer; Yun Ju Huang; Paul Huynh; Mohamed Rachidi; Raghvendra Rohit 001; Sharwan K. Tiwari (IACR Cryptol. ePrint Arch., 2024)

The Window Heuristic: Automating Differential Trail Search in ARX Ciphers with Partial Linearization Trade-offs. - Emanuele Bellini 002; David Gérault; Juan Grados 002; Thomas Peyrin (IACR Cryptol. ePrint Arch., 2024)

Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK. - Emanuele Bellini 002; David Gérault; Matteo Protopapa; Matteo Rossi (IACR Cryptol. ePrint Arch., 2024)

Impossible Differential Automation: Model Generation and New Techniques. - Emanuele Bellini 002; Paul Huynh; David Gérault; Andrea Visconti; Alessandro De Piccoli; Simone Pelizzola (IACR Cryptol. ePrint Arch., 2024)

Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives. - Emanuele Bellini 002; Alessandro De Piccoli; Mattia Formenti; David Gérault; Paul Huynh; Simone Pelizzola; Sergio Polese; Andrea Visconti (IACR Cryptol. ePrint Arch., 2024)

SoK: 5 Years of Neural Differential Cryptanalysis. - David Gérault; Anna Hambitzer; Moritz Huppert; Stjepan Picek (IACR Cryptol. ePrint Arch., 2024)

Generic Partial Decryption as Feature Engineering for Neural Distinguishers. - Emanuele Bellini 002; Rocco Brunelli; David Gérault; Anna Hambitzer; Marco Pedicini (IACR Cryptol. ePrint Arch., 2025)

How to Securely Implement Cryptography in Deep Neural Networks. - David Gérault; Anna Hambitzer; Eyal Ronen; Adi Shamir (IACR Cryptol. ePrint Arch., 2025)