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 Cryptol. ePrint Arch. (2017)
Keyphrases
</>
constraint programming
constraint satisfaction problems
constraint satisfaction
combinatorial problems
search strategies
constraint propagation
data structure
constraint optimization
backtrack search
hard and soft constraints