Hardware Trojan Detection in Behavioral Intellectual Properties (IP's) Using Property Checking Techniques.
Nandeesha VeerannaBenjamin Carrión SchäferPublished in: IEEE Trans. Emerg. Top. Comput. (2017)
Keyphrases
- desirable properties
- low cost
- object detection
- detection rate
- false alarms
- key properties
- topological properties
- real time
- computer systems
- consistency checking
- automatic detection
- hardware implementation
- structural properties
- monotonicity property
- global consistency
- detection accuracy
- computing systems
- detection algorithm
- anomaly detection
- image processing
- computer vision
- search engine