SAT vs. Substitution Boxes of DES like Ciphers.
Sylwia StachowiakMiroslaw KurkowskiArtur SobonPublished in: WETICE (2021)
Keyphrases
- sat solvers
- satisfiability problem
- boolean satisfiability
- stream cipher
- sat problem
- phase transition
- propositional satisfiability
- sat solving
- stochastic local search
- chosen plaintext
- modulo theories
- search algorithm
- search strategies
- max sat
- search problems
- image encryption
- domain independent
- orders of magnitude
- np complete
- scheduling problem
- special case