Sun, Siwei, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, and Lei Hu. 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.