Wang, D., Wang, B. and Sun, S. (2023) “SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers”, IACR Transactions on Symmetric Cryptology, 2023(1), pp. 152–191. doi: 10.46586/tosc.v2023.i1.152-191.