Sun, S.; Gerault, D.; Lafourcade, P.; Yang, Q.; Todo, Y.; Qiao, K.; Hu, L. Analysis of AES, SKINNY, and Others With Constraint Programming. ToSC 2017, 2017 (1), 281-306. https://doi.org/10.13154/tosc.v2017.i1.281-306.