Constraint Programming Models for Chosen Key Differential Cryptanalysis.

David Gérault Marine Minier Christine Solnon

Published in: CP (2016)

Keyphrases

constraint programming
constraint propagation
constraint satisfaction
combinatorial problems
constraint satisfaction problems
integer programming
arc consistency
constraint logic programming
data streams
search strategies
global constraints
constraint networks
constraint solver
constraint optimization