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.