Silencing Hardware Backdoors.
Adam WaksmanSimha SethumadhavanPublished in: IEEE Symposium on Security and Privacy (2011)
Keyphrases
- hardware and software
- low cost
- real time
- computing power
- computer systems
- digital signal processor
- vlsi implementation
- massively parallel
- embedded systems
- satisfiability problem
- computing systems
- search algorithm
- machine learning
- operating system
- search space
- processing capabilities
- hardware design
- digital circuits
- control program