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