A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.
Anna Lena Duque AntónJohannes MüllerLucas DeutschmannMohammad Rahmani FadihehDominik StoffelWolfgang KunzPublished in: CoRR (2023)
Keyphrases
- detection method
- objective function
- high precision
- cost function
- experimental evaluation
- false positive rate
- synthetic data
- high accuracy
- genetic algorithm
- computationally efficient
- optimization method
- classification method
- segmentation method
- false positives
- clustering method
- support vector machine svm
- medical images
- computational cost
- significant improvement
- computational complexity
- similarity measure
- detection algorithm
- prior knowledge
- pairwise
- fully automatic
- detection rate
- decision trees