Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers. ToSC. 2020;2020(3):327-361. doi:10.13154/tosc.v2020.i3.327-361