Login / Signup
Analysis of AES, SKINNY, and Others with Constraint Programming.
Siwei Sun
David Gérault
Pascal Lafourcade
Qianqian Yang
Yosuke Todo
Kexin Qiao
Lei Hu
Published in:
IACR Trans. Symmetric Cryptol. (2017)
Keyphrases
</>
constraint programming
constraint satisfaction problems
constraint propagation
global constraints
constraint satisfaction
evolutionary algorithm
integer programming
column generation
constraint logic programming