[1]
C. Zhou, W. Zhang, T. Ding, and Z. Xiang, “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.