Sun, S. (2017) “Analysis of AES, SKINNY, and Others with Constraint Programming”, IACR Transactions on Symmetric Cryptology, 2017(1), pp. 281–306. doi:10.13154/tosc.v2017.i1.281-306.