A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.

Christian Krieg Michael Rathmair Florian Schupfer

Published in: HPCC/CSS/ICESS (2014)

Keyphrases

design process
significant improvement
benchmark datasets
step wise
empirical studies
computational cost

real time
experimental design
formal verification
single chip
object detection

low cost
detection algorithm
image processing
false positives
machine learning methods

development process
automatic detection
embedded systems
engineering design
machine learning