Zhou, Chunning, Wentao Zhang, Tianyou Ding, and Zejun Xiang. 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), 438-69. https://doi.org/10.13154/tosc.v2019.i4.438-469.