Zhou, C., Zhang, W., Ding, T., & Xiang, Z. (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-469. https://doi.org/10.13154/tosc.v2019.i4.438-469