“Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach”, ToSC, vol. 2019, no. 4, pp. 438–469, Jan. 2020, doi: 10.13154/tosc.v2019.i4.438-469.