A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.
Christian KriegMichael RathmairFlorian SchupferPublished 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