Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun, David Gerault, Pascal Lafourcade 0001, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu. Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Trans. Symmetric Cryptol., 2017(1):281-306, 2017. [doi]

Abstract

Abstract is missing.