David Gérault

Available identifiers

Publication	Date of Publication	Type
CLAASP: a cryptographic library for the automated analysis of symmetric primitives	2024-10-16	Paper
Deep learning-based rotational-XOR distinguishers for AND-RX block ciphers: evaluations on Simeck and Simon	2024-10-16	Paper
Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives	2024-06-05	Paper
Fully automated differential-linear attacks against ARX ciphers	2023-10-04	Paper
NNBits: bit profiling with a deep learning ensemble based distinguisher	2023-10-04	Paper
Monte Carlo tree search for automatic differential characteristics search: application to SPECK	2023-08-14	Paper
And Rijndael? Automatic related-key differential analysis of Rijndael	2023-06-02	Paper
Short paper: Terrorist fraud in distance bounding: getting around the models	2022-06-17	Paper
A deeper look at machine learning-based cryptanalysis	2021-12-08	Paper
Computing AES related-key differential characteristics with constraint programming	2020-01-20	Paper
Verifiable private polynomial evaluation	2018-11-07	Paper
Revisiting AES related-key differential attacks with constraint programming	2018-10-19	Paper
Related-Key Cryptanalysis of Midori	2016-12-21	Paper

This page was built for person: David Gérault