Hardware Trojan Insertion and Detection in Asynchronous Circuits.
Koutaro InabaTomohiro YonedaToshiki KanamotoAtsushi KurokawaMasashi ImaiPublished in: ASYNC (2019)
Keyphrases
- asynchronous circuits
- low cost
- real time
- object detection
- detection algorithm
- false alarms
- hardware and software
- automatic detection
- detection scheme
- computer systems
- model checking
- delay insensitive
- process algebra
- detection method
- temporal logic
- false positives
- detection accuracy
- data structure
- image processing
- hardware implementation
- computer vision
- neural network