Optimizing S-box Implementations Using SAT Solvers: Revisited.
Fuxin ZhangZhenyu HuangPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- sat solvers
- s box
- efficient implementation
- chaotic map
- orders of magnitude
- max sat
- constraint satisfaction
- search strategies
- propositional satisfiability
- sat solving
- search space
- boolean satisfiability
- sat problem
- search tree
- sat instances
- block cipher
- heuristic search
- clause learning sat solvers
- sat encodings
- clause learning
- particle swarm optimization
- piecewise linear
- search algorithm
- initial conditions
- constraint satisfaction problems
- low cost
- dynamic programming
- weighted max sat