BOURA, C.; COGGIA, D. Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers. IACR Transactions on Symmetric Cryptology, v. 2020, n. 3, p. 327-361, 28 Sep. 2020.