Zhou, C. . (2020) “Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach”, IACR Transactions on Symmetric Cryptology, 2019(4), pp. 438–469. doi: 10.13154/tosc.v2019.i4.438-469.