Boura, C., and D. Coggia. “Efficient MILP Modelings for Sboxes and Linear Layers of SPN Ciphers”. IACR Transactions on Symmetric Cryptology, Vol. 2020, no. 3, Sept. 2020, pp. 327-61, doi:10.13154/tosc.v2020.i3.327-361.