Boura, Christina, and Daniel Coggia. “Efficient MILP Modelings for Sboxes and Linear Layers of SPN Ciphers”. IACR Transactions on Symmetric Cryptology 2020, no. 3 (September 28, 2020): 327–361. Accessed April 25, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/8705.