Wang, Dachao, Baocang Wang, and Siwei Sun. 2023. “SAT-Aided Automatic Search of Boomerang Distinguishers for ARX Ciphers”. IACR Transactions on Symmetric Cryptology 2023 (1):152-91. https://doi.org/10.46586/tosc.v2023.i1.152-191.