“Improving the MILP-Based Security Evaluation Algorithm Against Differential Linear Cryptanalysis Using A Divide-and-Conquer Approach”. IACR Transactions on Symmetric Cryptology 2019, no. 4 (January 31, 2020): 438–469. Accessed December 4, 2024. https://ojs.ub.rub.de/index.php/ToSC/article/view/8471.