Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2020, n. 3, p. 327–361, 2020. DOI: 10.13154/tosc.v2020.i3.327-361. Disponível em: https://tosc.iacr.org/index.php/ToSC/article/view/8705.. Acesso em: 21 nov. 2024.