WANG, Dachao; WANG, Baocang; SUN, Siwei. 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: 23 apr. 2024.