SAT-based Bit-flipping Attack on Logic Encryptions.
Yuanqi ShenAmin RezaeiHai ZhouPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- bounded model checking
- block cipher
- random access memory
- answer set programming
- logic programming
- logical operations
- model checking
- linear temporal logic
- classical logic
- modal logic
- multi valued
- anomaly detection
- planning domains
- countermeasures
- sat solvers
- constraint logic programming
- constraint solver
- temporal logic
- orders of magnitude
- flip flops
- shift register