We use the platform to perform automatic security evaluation of block ciphers using constraint programming. In particular, we perform related key differential cryptanalysis on several block ciphers, including AES.
Resources used (RAM CPU etc…)
16 VCPU, 64Gb of ram.
The MiniZinc suite, Picat and Choco.
Obtaining optimal related key cryptanalysis of AES (done) and other block ciphers (work in progress), and performing other kinds of cryptanalysis (work in progress).
Siwei Sun, David Gerault, Pascal Lafourcade, 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)
David Gerault, Marine Minier, Christine Solnon: Using Constraint Programming to solve a Cryptanalytic Problem. IJCAI 2017: 4844-4848
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon: Revisiting AES Related-Key Differential Attacks with Constraint Programming. IACR Cryptology ePrint Archive 2017: 139 (2017)