“Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers”, ToSC, vol. 2020, no. 3, pp. 327–361, Sep. 2020, doi: 10.13154/tosc.v2020.i3.327-361.