Wang, D. et al. 2023. SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers. IACR Transactions on Symmetric Cryptology. 2023, 1 (Mar. 2023), 152–191. DOI:https://doi.org/10.46586/tosc.v2023.i1.152-191.