Bit-level evaluation of piccolo block cipher by satisfiability problem solver.
Shion UtsumiKosei SakamotoTakanori IsobePublished in: IET Inf. Secur. (2023)
Keyphrases
- satisfiability problem
- block cipher
- np complete
- temporal logic
- phase transition
- search algorithm
- s box
- weighted max sat
- sat problem
- stochastic local search algorithms
- stochastic local search
- sat instances
- clause learning
- hash functions
- decision procedures
- lightweight
- secret key
- max sat
- boolean formula
- data model
- knowledge base