Boura C, Canteaut A, Coggia D. A General Proof Framework for Recent AES Distinguishers. ToSC. 2019;2019(1):170-191. doi:10.13154/tosc.v2019.i1.170-191