“MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics”, ToSC, vol. 2017, no. 4, pp. 99–129, Dec. 2017, doi: 10.13154/tosc.v2017.i4.99-129.