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 July 13, 2020. https://tosc.iacr.org/index.php/ToSC/article/view/8471.