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