Boura, C., & Coggia, D. (2020). Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers. IACR Transactions on Symmetric Cryptology, 2020(3), 327–361. https://doi.org/10.13154/tosc.v2020.i3.327-361