Analysis of AES, SKINNY, and Others with Constraint Programming. ToSC. 2017;2017(1):281-306. doi:10.13154/tosc.v2017.i1.281-306