CycSAT: SAT-Based Attack on Cyclic Logic Encryptions.
Hai ZhouRuifeng JiangShuyu KongPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- bounded model checking
- logic programming
- model checking
- answer set programming
- classical logic
- fixed point semantics
- multi valued
- sat solvers
- countermeasures
- automated reasoning
- version space
- modal logic
- formal verification
- linear temporal logic
- answer sets
- dos attacks
- predicate logic
- malicious users
- orders of magnitude
- active learning