SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers

SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers

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...

Full description

Bibliographic Details
Main Authors: Dachao Wang, Baocang Wang, Siwei Sun
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2023-03-01
Series:IACR Transactions on Symmetric Cryptology
Subjects:
ARX
Boomerang
Automatic Search
SAT
Online Access:https://tosc.iacr.org/index.php/ToSC/article/view/10311

Internet

https://tosc.iacr.org/index.php/ToSC/article/view/10311

Similar Items