Optimizing S-box Implementations for Several Criteria using SAT Solvers.
Ko StoffelenPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- sat solvers
- s box
- orders of magnitude
- chaotic map
- sat solving
- constraint satisfaction
- efficient implementation
- max sat
- boolean satisfiability
- search strategies
- propositional satisfiability
- search space
- sat instances
- block cipher
- sat problem
- sat encodings
- weighted max sat
- initial conditions
- clause learning sat solvers
- boolean formula
- query processing
- search algorithm
- dynamical systems
- advanced encryption standard