David Gérault

Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun, David Gérault, Pascal Lafourcade et al. · IACR Transactions on Symmetric Cryptology · 2017 · 69 citations · Full text

Mathematical Programming, Cryptographic Primitive, Engineering +16

Revisiting AES related-key differential attacks with constraint programming

David Gérault, Pascal Lafourcade, Marine Minier et al. · Information Processing Letters · 2018 · 41 citations · Full text

Hardware Security, Engineering, Information Security +9

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

Gildas Avoine, Xavier Bultel, Sébastien Gambs et al. · 2017 · 32 citations · Full text

Engineering, Information Security, Verification +20

Exploring Differential-Based Distinguishers and Forgeries for ASCON

David Gérault, Thomas Peyrin, Quan Quan Tan · IACR Transactions on Symmetric Cryptology · 2021 · 29 citations · Full text

Differential-based Distinguishers, Cryptographic Primitive, Engineering +21

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

Emanuele Bellini, David Gérault, Anna Hambitzer et al. · IACR Transactions on Symmetric Cryptology · 2023 · 23 citations · Full text

Engineering, Machine Learning, Good Input Differences +17