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://ojs.ub.rub.de/index.php/ToSC/article/view/10311.. Acesso em: 22 dec. 2024.