Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods.
Marcel MertenSebastian HuhnRolf DrechslerPublished in: ETS (2023)
Keyphrases
- formal methods
- model checker
- model checking
- formal specification
- formal analysis
- provably correct
- safety critical
- software engineering
- artificial intelligence
- knowledge based systems
- concurrency control
- process algebra
- sat solvers
- automated reasoning
- modal logic
- logic programming
- search algorithm
- information systems
- modeling language
- security properties
- database systems
- knowledge base