Boura, C., A. Canteaut, and D. Coggia. “A General Proof Framework for Recent AES Distinguishers”. IACR Transactions on Symmetric Cryptology, Vol. 2019, no. 1, Mar. 2019, pp. 170-91, doi:10.13154/tosc.v2019.i1.170-191.