LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection.

Jean-Luc Danger Laurent Fribourg Ulrich Kühne Maha Naceur

Published in: DSD (2019)

Keyphrases

real time
low cost
detection algorithm
detection method
automatic detection
decision support
anomaly detection
false positives
data acquisition
object detection
computing systems
data sets
image processing
operating system
model checking
hardware designs