Hardware Obfuscation and Logic Locking: A Tutorial Introduction.
Tamzidul HoqueRajat Subhra ChakrabortySwarup BhuniaPublished in: IEEE Des. Test (2020)
Keyphrases
- digital circuits
- low cost
- classical logic
- hardware and software
- chip design
- logic programming
- predicate logic
- reverse engineering
- real time
- malware detection
- embedded systems
- computing power
- proof theory
- asynchronous circuits
- static analysis
- automated reasoning
- logical framework
- multi valued
- logic programs
- circuit design
- computer systems
- control flow
- concurrency control
- massively parallel
- hardware implementation
- modal logic