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.