Optimizing S-Box Implementations for Several Criteria Using SAT Solvers.
Ko StoffelenPublished in: FSE (2016)
Keyphrases
- sat solvers
- s box
- orders of magnitude
- efficient implementation
- chaotic map
- max sat
- sat solving
- constraint satisfaction
- propositional satisfiability
- search space
- boolean satisfiability
- sat problem
- search strategies
- sat instances
- block cipher
- initial conditions
- weighted max sat
- clause learning sat solvers
- clause learning
- combinatorial optimization
- constraint satisfaction problems