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://icscm.ub.rub.de/index.php/ToSC/article/view/8840.. Acesso em: 18 jan. 2025.