ZHOU, Chunning; ZHANG, Wentao; DING, Tianyou; XIANG, Zejun. Improving the MILP-based Security Evaluation Algorithm against Differential/Linear Cryptanalysis Using A Divide-and-Conquer Approach. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2019, n. 4, p. 438–469, 2020. DOI: 10.13154/tosc.v2019.i4.438-469. Disponível em: https://tosc.iacr.org/index.php/ToSC/article/view/8471. Acesso em: 20 apr. 2024.