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: DATE (2024)
Keyphrases
- detection method
- experimental evaluation
- high precision
- detection algorithm
- prior knowledge
- neural network
- pairwise
- classification method
- objective function
- significant improvement
- cost function
- high accuracy
- support vector machine svm
- line detection
- real time
- segmentation method
- synthetic data
- probabilistic model
- feature extraction
- computer vision