A General Proof Framework for Recent AES Distinguishers. ToSC 2019, 2019 (1), 170-191. https://doi.org/10.13154/tosc.v2019.i1.170-191.