“A General Proof Framework for Recent AES Distinguishers” (2019) IACR Transactions on Symmetric Cryptology, 2019(1), pp. 170–191. doi:10.13154/tosc.v2019.i1.170-191.