“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.