SigAttack: New High-level SAT-based Attack on Logic Encryptions.
Yuanqi ShenYou LiShuyu KongAmin RezaeiHai ZhouPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- high level
- bounded model checking
- low level
- answer set programming
- logic programming
- model checking
- temporal logic
- formal verification
- modal logic
- predicate logic
- sat solvers
- programming language
- countermeasures
- ai planning
- linear temporal logic
- multi valued
- multi agent systems
- source code
- constraint solver
- computational properties
- classical logic
- lower level
- logic programs
- secret key
- dos attacks
- planning problems
- low level features
- description logics