Sun, Siwei, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, and Lei Hu. “Analysis of AES, SKINNY, and Others With Constraint Programming”. IACR Transactions on Symmetric Cryptology 2017, no. 1 (March 8, 2017): 281–306. Accessed April 29, 2024. https://tosc.iacr.org/index.php/ToSC/article/view/595.