[1]
C. Boura and D. Coggia, “Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers”, ToSC, vol. 2020, no. 3, pp. 327–361, Sep. 2020.