David Gérault

According to our database, David Gérault authored at least 34 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives.

Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti

IACR Cryptol. ePrint Arch., 2024

Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK.

Emanuele Bellini, David Gérault, Matteo Protopapa, Matteo Rossi

IACR Cryptol. ePrint Arch., 2024

2023

Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP.

Emanuele Bellini, David Gérault, Juan Grados, Rusydi H. Makarim, Thomas Peyrin

IACR Trans. Symmetric Cryptol., 2023

NNBits: Bit Profiling with a Deep Learning Ensemble Based Distinguisher.

Anna Hambitzer, David Gérault, Yun Ju Huang, Najwa Aaraj, Emanuele Bellini

IACR Cryptol. ePrint Arch., 2023

Fully Automated Differential-Linear Attacks against ARX Ciphers.

Emanuele Bellini, David Gérault, Juan Grados, Rusydi H. Makarim, Thomas Peyrin

IACR Cryptol. ePrint Arch., 2023

CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives.

Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Mohamed Rachidi, Sharwan K. Tiwari, Rusydi H. Makarim

IACR Cryptol. ePrint Arch., 2023

Deep Learning-Based Rotational-XOR Distinguishers for AND-RX Block Ciphers: Evaluations on Simeck and Simon.

Amirhossein Ebrahimi, David Gérault, Paolo Palmieri

Proceedings of the Selected Areas in Cryptography - SAC 2023, 2023

2022

A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences.

Emanuele Bellini, David Gérault, Anna Hambitzer, Matteo Rossi

IACR Cryptol. ePrint Arch., 2022

And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael.

Loïc Rouquette, David Gérault, Marine Minier, Christine Solnon

Proceedings of the Progress in Cryptology, 2022

2021

Exploring Differential-Based Distinguishers and Forgeries for ASCON.

David Gérault, Thomas Peyrin, Quan Quan Tan

IACR Cryptol. ePrint Arch., 2021

A Deeper Look at Machine Learning-Based Cryptanalysis.

Adrien Benamira, David Gérault, Thomas Peyrin, Quan Quan Tan

IACR Cryptol. ePrint Arch., 2021

A Survey of Technologies for Building Trusted Networks.

Loganathan Parthipan, Liqun Chen, David Gérault, Yunpeng Li, Fei Liu, Christopher J. P. Newton, Donghui Wang

Proceedings of the IEEE Globecom 2021 Workshops, Madrid, Spain, December 7-11, 2021, 2021

Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models.

David Gérault

Proceedings of the Financial Cryptography and Data Security, 2021

Mechanised Models and Proofs for Distance-Bounding.

Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

From Relay Attacks to Distance-Bounding Protocols.

Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete

Proceedings of the Security of Ubiquitous Computing Systems, 2021

2020

On the Usage of Deterministic (Related-Key) Truncated Differentials and Multidimensional Linear Approximations for SPN Ciphers.

Ling Sun, David Gérault, Wei Wang, Meiqin Wang

IACR Trans. Symmetric Cryptol., 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

IACR Cryptol. ePrint Arch., 2020

Computing AES related-key differential characteristics with constraint programming.

David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon

Artif. Intell., 2020

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis.

Ling Sun, David Gérault, Adrien Benamira, Thomas Peyrin

Proceedings of the Cyber Security Cryptography and Machine Learning, 2020

2019

Verifiable and Private Oblivious Polynomial Evaluation.

Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade

Proceedings of the Information Security Theory and Practice, 2019

Distance bounding under different assumptions: opinion.

David Gérault, Ioana Boureanu

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 2019

Here and There at Once, with my Mobile Phone!

Ioana Boureanu, David Gérault, James Lewis

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

Towards Secure TMIS Protocols.

David Gérault, Pascal Lafourcade

Proceedings of the Foundations and Practice of Security - 12th International Symposium, 2019

2018

Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact).

David Gérault

PhD thesis, 2018

Revisiting AES related-key differential attacks with constraint programming.

David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon

Inf. Process. Lett., 2018

2017

Analysis of AES, SKINNY, and Others with Constraint Programming.

Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu

IACR Cryptol. ePrint Arch., 2017

Verifiable Private Polynomial Evaluation.

Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade

IACR Cryptol. ePrint Arch., 2017

Breaking and Fixing the HB+DB protocol.

Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete

IACR Cryptol. ePrint Arch., 2017

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol.

Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert

IACR Cryptol. ePrint Arch., 2017

Using Constraint Programming to solve a Cryptanalytic Problem.

David Gérault, Marine Minier, Christine Solnon

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol.

Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert

Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

Related-Key Cryptanalysis of Midori.

David Gérault, Pascal Lafourcade

Proceedings of the Progress in Cryptology - INDOCRYPT 2016, 2016

Constraint Programming Models for Chosen Key Differential Cryptanalysis.

David Gérault, Marine Minier, Christine Solnon

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Survey of Distance Bounding Protocols and Threats.

Agnès Brelurut, David Gérault, Pascal Lafourcade

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015