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