Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2017, n. 1, p. 281–306, 2017. DOI: 10.13154/tosc.v2017.i1.281-306. Disponível em: https://tosc.iacr.org/index.php/ToSC/article/view/595.. Acesso em: 17 jul. 2024.