David Gérault

58 papers A* 1A 4B 4C 2Misc 5Journal 27Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Generic Partial Decryption as Feature Engineering for Neural Distinguishers.
LATINCRYPT
Emanuele Bellini, Rocco Brunelli, David Gérault, Anna Hambitzer, Marco Pedicini
2025 J jnl
Generic Partial Decryption as Feature Engineering for Neural Distinguishers.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, Rocco Brunelli, David Gérault, Anna Hambitzer, Marco Pedicini
2025 J jnl
How to Securely Implement Cryptography in Deep Neural Networks.
IACR Cryptol. ePrint Arch.
David Gérault, Anna Hambitzer, Eyal Ronen, Adi Shamir
2025 Misc conf
Impossible Differentials Automation: Model Generation and New Techniques.
SAC
Emanuele Bellini, Alessandro De Piccoli, David Gérault, Paul Huynh, Simone Pelizzola, Andrea Visconti
2025 A conf
Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy.
AsiaCCS
Jean Snyman, Chris Culnane, Ioana Boureanu, David Gérault
2025 B conf
The Window Heuristic: Automating Differential Trail Search in ARX Ciphers with Partial Linearization Trade-offs.
CT-RSA
Emanuele Bellini, David Gérault, Juan Grados, Thomas Peyrin
2024 — conf
CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher.
INDOCRYPT (2)
Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari
2024 J jnl
CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari
2024 J jnl
Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti
2024 J jnl
Impossible Differential Automation: Model Generation and New Techniques.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, Paul Huynh, David Gérault, Andrea Visconti, Alessandro De Piccoli, Simone Pelizzola
2024 J jnl
Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, David Gérault, Matteo Protopapa, Matteo Rossi
2024 J jnl
SoK: 5 Years of Neural Differential Cryptanalysis.
IACR Cryptol. ePrint Arch.
David Gérault, Anna Hambitzer, Moritz Huppert, Stjepan Picek
2024 J jnl
The Window Heuristic: Automating Differential Trail Search in ARX Ciphers with Partial Linearization Trade-offs.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, David Gérault, Juan Grados, Thomas Peyrin
2023 J jnl
A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences.
IACR Trans. Symmetric Cryptol.
Emanuele Bellini, David Gérault, Anna Hambitzer, Matteo Rossi
2023 J jnl
Boosting Differential-Linear Cryptanalysis of ChaCha7 with MILP.
IACR Trans. Symmetric Cryptol.
Emanuele Bellini, David Gérault, Juan Grados, Rusydi H. Makarim, Thomas Peyrin
2023 Misc conf
CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives.
SAC
Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Rusydi H. Makarim, Mohamed Rachidi, Sharwan K. Tiwari
2023 J jnl
CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, David Gérault, Juan Grados, Yun Ju Huang, Mohamed Rachidi, Sharwan K. Tiwari, Rusydi H. Makarim
2023 Misc conf
Deep Learning-Based Rotational-XOR Distinguishers for AND-RX Block Ciphers: Evaluations on Simeck and Simon.
SAC
Amirhossein Ebrahimi, David Gérault, Paolo Palmieri
2023 B conf
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.
CANS
Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti
2023 B conf
Fully Automated Differential-Linear Attacks Against ARX Ciphers.
CT-RSA
Emanuele Bellini, David Gérault, Juan Grados, Rusydi H. Makarim, Thomas Peyrin
2023 J jnl
Fully Automated Differential-Linear Attacks against ARX Ciphers.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, David Gérault, Juan Grados, Rusydi H. Makarim, Thomas Peyrin
2023 B conf
NNBits: Bit Profiling with a Deep Learning Ensemble Based Distinguisher.
CT-RSA
Anna Hambitzer, David Gérault, Yun Ju Huang, Najwa Aaraj, Emanuele Bellini
2023 J jnl
NNBits: Bit Profiling with a Deep Learning Ensemble Based Distinguisher.
IACR Cryptol. ePrint Arch.
Anna Hambitzer, David Gérault, Yun Ju Huang, Najwa Aaraj, Emanuele Bellini
2022 J jnl
A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, David Gérault, Anna Hambitzer, Matteo Rossi
2022 — conf
And Rijndael?: Automatic Related-Key Differential Analysis of Rijndael.
AFRICACRYPT
Loïc Rouquette, David Gérault, Marine Minier, Christine Solnon
2022 Misc conf
Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK.
INDOCRYPT
Emanuele Bellini, David Gérault, Matteo Protopapa, Matteo Rossi
2021 — conf
A Deeper Look at Machine Learning-Based Cryptanalysis.
EUROCRYPT (1)
Adrien Benamira, David Gérault, Thomas Peyrin, Quan Quan Tan
2021 J jnl
A Deeper Look at Machine Learning-Based Cryptanalysis.
IACR Cryptol. ePrint Arch.
Adrien Benamira, David Gérault, Thomas Peyrin, Quan Quan Tan
2021 — conf
A Survey of Technologies for Building Trusted Networks.
GLOBECOM (Workshops)
Loganathan Parthipan, Liqun Chen, David Gérault, Yunpeng Li, Fei Liu, Christopher J. P. Newton, Donghui Wang
2021 J jnl
Exploring Differential-Based Distinguishers and Forgeries for ASCON.
IACR Cryptol. ePrint Arch.
David Gérault, Thomas Peyrin, Quan Quan Tan
2021 J jnl
Exploring Differential-Based Distinguishers and Forgeries for ASCON.
IACR Trans. Symmetric Cryptol.
David Gérault, Thomas Peyrin, Quan Quan Tan
2021 — ch.
From Relay Attacks to Distance-Bounding Protocols.
Security of Ubiquitous Computing Systems
Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete
2021 A conf
Mechanised Models and Proofs for Distance-Bounding.
CSF
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2021 — conf
Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models.
Financial Cryptography (1)
David Gérault
2020 J jnl
Computing AES related-key differential characteristics with constraint programming.
Artif. Intell.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2020 — conf
NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis.
CSCML
Ling Sun, David Gérault, Adrien Benamira, Thomas Peyrin
2020 J jnl
On the Usage of Deterministic (Related-Key) Truncated Differentials and Multidimensional Linear Approximations for SPN Ciphers.
IACR Trans. Symmetric Cryptol.
Ling Sun, David Gérault, Wei Wang, Meiqin Wang
2020 J jnl
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments.
IACR Cryptol. ePrint Arch.
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2019 — conf
Distance bounding under different assumptions: opinion.
WiSec
David Gérault, Ioana Boureanu
2019 — conf
Here and There at Once, with my Mobile Phone!
ICETE (2)
Ioana Boureanu, David Gérault, James Lewis
2019 — conf
Towards Secure TMIS Protocols.
FPS
David Gérault, Pascal Lafourcade
2019 C conf
Verifiable and Private Oblivious Polynomial Evaluation.
WISTP
Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade
2018 J jnl
Revisiting AES related-key differential attacks with constraint programming.
Inf. Process. Lett.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2018 — —
Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact).
David Gérault
2017 A conf
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol.
AsiaCCS
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2017 J jnl
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol.
IACR Cryptol. ePrint Arch.
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2017 J jnl
Analysis of AES, SKINNY, and Others with Constraint Programming.
IACR Cryptol. ePrint Arch.
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
2017 J jnl
Analysis of AES, SKINNY, and Others with Constraint Programming.
IACR Trans. Symmetric Cryptol.
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
2017 J jnl
Breaking and Fixing the HB+DB protocol.
IACR Cryptol. ePrint Arch.
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017 — conf
Breaking and fixing the HB+DB protocol.
WISEC
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017 J jnl
Revisiting AES Related-Key Differential Attacks with Constraint Programming.
IACR Cryptol. ePrint Arch.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2017 A* conf
Using Constraint Programming to solve a Cryptanalytic Problem.
IJCAI
David Gérault, Marine Minier, Christine Solnon
2017 C conf
Verifiable Private Polynomial Evaluation.
ProvSec
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
2017 J jnl
Verifiable Private Polynomial Evaluation.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
2016 — conf
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol.
WISEC
Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2016 A conf
Constraint Programming Models for Chosen Key Differential Cryptanalysis.
CP
David Gérault, Marine Minier, Christine Solnon
2016 Misc conf
Related-Key Cryptanalysis of Midori.
INDOCRYPT
David Gérault, Pascal Lafourcade
2015 — conf
Survey of Distance Bounding Protocols and Threats.
FPS
Agnès Brelurut, David Gérault, Pascal Lafourcade