C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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