SigAttack: New High-level SAT-based Attack on Logic Encryptions.
Yuanqi ShenYou LiShuyu KongAmin RezaeiHai ZhouPublished in: DATE (2019)
Keyphrases
- high level
- bounded model checking
- low level
- logic programming
- answer set programming
- higher level
- formal verification
- sat solvers
- modal logic
- temporal logic
- low level features
- linear temporal logic
- countermeasures
- ai planning
- model checking
- source code
- programming language
- sat encodings
- automated reasoning
- constraint solver
- planning problems
- multi valued
- lower level
- search strategies
- multi agent systems