KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking.
Levent AksoyMuhammad YasinSamuel PagliariniPublished in: DATE (2024)
Keyphrases
- structural analysis
- image processing
- civil engineering
- reinforced concrete
- three dimensional
- logic programming
- concurrency control
- quantified boolean formulas
- countermeasures
- classical logic
- computer vision
- fine granularity
- multi valued
- diagrammatic reasoning
- boolean formula
- abstract argumentation
- propositional logic
- modal logic
- quantified boolean formulae