Paper 2023/181 Original: eprint.iacr.org/2023/181 ↗
Fully Automated Differential-Linear Attacks against ARX Ciphers
Abstract
In this paper, we present a fully automated tool for differential-linear attacks using Mixed-Integer Linear Programming (MILP) and Mixed-Integer Quadratic Constraint Programming (MIQCP) techniques, which is, to the best of our knowledge, the very first attempt to fully automate such attacks. We use this tool to improve the correlations of the best 9 and 10-round differential-linear distinguishers on Speck32/64, and reach 11 rounds for the first time. Furthermore, we improve the latest 14-round key-recovery attack against Speck32/64, using differential-linear distinguishers obtained with our MILP/MIQCP tool. The techniques we present are generic and can be applied to other ARX ciphers as well.
Metadata
- Available format(s)
PDF- Category
- Attacks and cryptanalysis
- Publication info
- Preprint.
- History
- 2023-02-13: last updated
- 2023-02-13: published
- Short URL
- https://ia.cr/2023/181
- License
- https://creativecommons.org/publicdomain/zero/1.0/
BibTeX
@misc{cryptoeprint:2023/181,
author = {Emanuele Bellini and David Gerault and Juan Grados and Rusydi Makarim and Thomas Peyrin},
title = {Fully Automated Differential-Linear Attacks against ARX Ciphers},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/181},
year = {2023},
url = {https://eprint.iacr.org/2023/181}
}