ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks.
Armin DarjaniNima KavandShubham RaiMark WijtvlietAkash KumarPublished in: ACM Great Lakes Symposium on VLSI (2022)
Keyphrases
- sat solvers
- search algorithm
- sat problem
- countermeasures
- classical logic
- structural information
- satisfiability problem
- concurrency control
- database systems
- fine granularity
- max sat
- quantifier free
- search strategies
- data objects
- orders of magnitude
- np complete
- security mechanisms
- modal logic
- sat solving
- phase transition
- object oriented database management systems
- malicious users
- knowledge base
- security risks
- boolean satisfiability
- truth values
- computational properties
- logic programming
- multi valued
- automated reasoning
- watermarking scheme