SUN, Siwei; GERAULT, David; LAFOURCADE, Pascal; YANG, Qianqian; TODO, Yosuke; QIAO, Kexin; HU, Lei. 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: 29 mar. 2024.