Paper 2023/202
SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers (Long Paper)
Abstract
In Addition-Rotation-Xor (ARX) ciphers, the large domain size obstructs the application of the boomerang connectivity table. In this paper, we explore the problem of computing this table for a modular addition and the automatic search of boomerang characteristics for ARX ciphers. We provide dynamic programming algorithms to efficiently compute this table and its variants. These algorithms are the most efficient up to now. For the boomerang connectivity table, the execution time is
Metadata
- Available format(s)
-
PDF
- Category
- Attacks and cryptanalysis
- Publication info
- Published by the IACR in TOSC 2023
- Keywords
- ARXBoomerangAutomatic SearchSAT
- Contact author(s)
-
mr ongor @ gmail com
bcwang79 @ aliyun com
sunsiwei @ ucas ac cn - History
- 2023-02-20: approved
- 2023-02-15: received
- See all versions
- Short URL
- https://ia.cr/2023/202
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/202, author = {Dachao Wang and Baocang Wang and Siwei Sun}, title = {{SAT}-aided Automatic Search of Boomerang Distinguishers for {ARX} Ciphers (Long Paper)}, howpublished = {Cryptology {ePrint} Archive, Paper 2023/202}, year = {2023}, url = {https://eprint.iacr.org/2023/202} }