“Improving the MILP-Based Security Evaluation Algorithm Against Differential Linear Cryptanalysis Using A Divide-and-Conquer Approach”. 2020. IACR Transactions on Symmetric Cryptology 2019 (4): 438-69. https://doi.org/10.13154/tosc.v2019.i4.438-469.