Analysis of AES, SKINNY, and Others with Constraint Programming. (2017). IACR Transactions on Symmetric Cryptology, 2017(1), 281-306. https://doi.org/10.13154/tosc.v2017.i1.281-306