Boura, C.; Coggia, D. Efficient MILP Modelings for Sboxes and Linear Layers of SPN Ciphers. ToSC 2020, 2020, 327-361.