Boura, C., Canteaut, A., & Coggia, D. (2019). A General Proof Framework for Recent AES Distinguishers. IACR Transactions on Symmetric Cryptology, 2019(1), 170–191. https://doi.org/10.13154/tosc.v2019.i1.170-191