SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware.
Shervin RoshanisefatHadi Mardani KamaliAvesta SasanPublished in: CoRR (2018)
Keyphrases
- digital circuits
- low cost
- real time
- hardware and software
- logic programming
- sat solvers
- hardware implementation
- phase transition
- concurrency control
- modal logic
- fixed point semantics
- hardware architecture
- classical logic
- orders of magnitude
- satisfiability problem
- automated reasoning
- sat problem
- multi valued
- chip design
- computer systems
- computing systems
- max sat
- search strategies
- computational properties
- stochastic local search
- embedded systems
- access control
- boolean satisfiability
- stochastic local search algorithms