Login / Signup
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