A. Abdelkhalek, Y. Sasaki, Y. Todo, M. Tolba, and A. M. Youssef, “MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics”, ToSC, vol. 2017, no. 4, pp. 99–129, Dec. 2017.