Accelerating the Search of Differential and Linear Characteristics with the SAT Method. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2021, n. 1, p. 269–315, 2021. DOI: 10.46586/tosc.v2021.i1.269-315. Disponível em: https://tches.iacr.org/index.php/ToSC/article/view/8840.. Acesso em: 27 dec. 2024.