Sun, S., Gerault, D., Lafourcade, P., Yang, Q., Todo, Y., Qiao, K., & Hu, L. (2017). Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Transactions on Symmetric Cryptology, 2017(1), 281–306. https://doi.org/10.13154/tosc.v2017.i1.281-306