BOURA, C.; CANTEAUT, A.; COGGIA, D. A General Proof Framework for Recent AES Distinguishers. IACR Transactions on Symmetric Cryptology, v. 2019, n. 1, p. 170-191, 8 Mar. 2019.