Login / Signup

Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.

Emanuele BelliniAlessandro De PiccoliMattia FormentiDavid GéraultPaul HuynhSimone PelizzolaSergio PoleseAndrea Visconti
Published in: CANS (2023)
Keyphrases
  • modulo theories
  • constraint programming
  • block cipher
  • building blocks
  • satisfiability problem
  • sat solvers
  • s box
  • high level
  • search algorithm
  • logic programming
  • linear program