[1]
Zhou, C., Zhang, W., Ding, T. and 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 (Jan. 2020), 438-469. DOI:https://doi.org/10.13154/tosc.v2019.i4.438-469.