SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware.
Shervin RoshanisefatHadi Mardani KamaliAvesta SasanPublished in: ACM Great Lakes Symposium on VLSI (2018)
Keyphrases
- digital circuits
- real time
- low cost
- hardware and software
- satisfiability problem
- automated reasoning
- sat solvers
- classical logic
- hardware implementation
- propositional satisfiability
- logic programming
- modal logic
- chip design
- computer systems
- phase transition
- sat problem
- multi valued
- hardware architecture
- quantifier free
- fixed point semantics
- embedded systems
- concurrency control
- search algorithm
- image processing
- computational properties
- search strategies
- boolean satisfiability
- fine granularity
- first order logic