abstractXOR: A global constraint dedicated to differential cryptanalysis.
Loïc RouquetteChristine SolnonPublished in: CP (2020)
Keyphrases
- global constraints
- constraint programming
- boolean constraints
- generalized arc consistency
- constraint satisfaction problems
- integer linear programming
- arc consistency
- combinatorial problems
- precedence constraints
- weighted constraint satisfaction
- secret key
- sparsity constraints
- objective function
- upper bound
- hash functions
- signature scheme