“Efficient MILP Modelings for Sboxes and Linear Layers of SPN Ciphers”. 2020. IACR Transactions on Symmetric Cryptology 2020 (3): 327-61. https://doi.org/10.13154/tosc.v2020.i3.327-361.