“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 27, 2024. https://tches.iacr.org/index.php/ToSC/article/view/8471.