Login / Signup
Hardware Trojan detection via rewriting logic.
Irina Mariuca Asavoae
Ramtine Tofighi-Shirazi
Adrián Riesco
Uemura Yasuyoshi
Published in:
J. Log. Algebraic Methods Program. (2022)
Keyphrases
</>
detection algorithm
digital circuits
image processing
object detection
false alarms
detection method
detection rate
event detection
hardware and software
automatic detection
real time
low cost
anomaly detection
computer systems
computing systems
datalog programs
predicate logic