Zhou, Chunning, Wentao Zhang, Tianyou Ding, and Zejun Xiang. “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 April 23, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/8471.