SUN, Ling; WANG, Wei; WANG, Meiqin. 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://tosc.iacr.org/index.php/ToSC/article/view/8840. Acesso em: 18 apr. 2024.