Novel Optimized Implementations of Lightweight Cryptographic S-Boxes via SAT Solvers.
Jingya FengYongzhuang WeiFengrong ZhangEnes PasalicYu ZhouPublished in: IEEE Trans. Circuits Syst. I Regul. Pap. (2024)
Keyphrases
- lightweight
- sat solvers
- s box
- block cipher
- efficient implementation
- orders of magnitude
- max sat
- constraint satisfaction
- sat solving
- initial conditions
- boolean satisfiability
- propositional satisfiability
- sat problem
- search space
- sat instances
- search strategies
- chaotic sequence
- hash functions
- sat encodings
- clause learning
- wireless sensor networks
- np hard