[1]
C. Boura, A. Canteaut, and D. Coggia, “A General Proof Framework for Recent AES Distinguishers”, ToSC, vol. 2019, no. 1, pp. 170–191, Mar. 2019.