SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2023, n. 1, p. 152–191, 2023. DOI: 10.46586/tosc.v2023.i1.152-191. Disponível em: https://tosc.iacr.org/index.php/ToSC/article/view/10311.. Acesso em: 28 nov. 2024.