MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics. ToSC. 2017;2017(4):99-129. doi:10.13154/tosc.v2017.i4.99-129