(1)
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. ToSC 2020, 2019, 438-469.