ZHOU, C.; ZHANG, W.; DING, T.; XIANG, Z. Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach. IACR Transactions on Symmetric Cryptology, v. 2019, n. 4, p. 438-469, 31 Jan. 2020.