KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking.
Levent AksoyMuhammad YasinSamuel PagliariniPublished in: CoRR (2023)
Keyphrases
- structural analysis
- civil engineering
- three dimensional
- quantified boolean formulas
- image processing
- concurrency control
- modal logic
- database systems
- reinforced concrete
- automated reasoning
- logic programming
- countermeasures
- multi valued
- reasoning tasks
- fine granularity
- machine learning
- quantified boolean formulae
- abductive reasoning
- decision procedures
- propositional logic
- logic programs
- description logics
- computer vision