Wang, Dachao, Baocang Wang, and Siwei Sun. “SAT-Aided Automatic Search of Boomerang Distinguishers for ARX Ciphers”. IACR Transactions on Symmetric Cryptology 2023, no. 1 (March 10, 2023): 152–191. Accessed January 18, 2025. https://icscm.ub.rub.de/index.php/ToSC/article/view/10311.