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