(1)
Boura, C.; Canteaut, A.; Coggia, D. A General Proof Framework for Recent AES Distinguishers. ToSC 2019, 2019, 170-191.