When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans.
Xiaolong GuoHuifeng ZhuYier JinXuan ZhangPublished in: DATE (2019)
Keyphrases
- detection method
- detection algorithm
- dynamic programming
- false positive rate
- computational complexity
- high accuracy
- classification accuracy
- significant improvement
- clustering method
- neural network
- high precision
- similarity measure
- image processing
- synthetic data
- probabilistic model
- classification method
- detection mechanism
- cost function
- k means
- preprocessing
- objective function
- genetic algorithm