Sun, Siwei, et al. “Analysis of AES, SKINNY, and Others With Constraint Programming”. IACR Transactions on Symmetric Cryptology, vol. 2017, no. 1, Mar. 2017, pp. 281-06, https://doi.org/10.13154/tosc.v2017.i1.281-306.