Combinational hardware Trojan detection using logic implications.
Noah CornellKundan NepalPublished in: MWSCAS (2017)
Keyphrases
- real time
- asynchronous circuits
- low cost
- object detection
- modal logic
- detection method
- detection algorithm
- digital circuits
- false positives
- automatic detection
- logic programming
- hardware and software
- computing systems
- detection accuracy
- proof theory
- classical logic
- logic circuits
- chip design
- computing power
- anomaly detection
- digital images
- data sets