Applied formal methods for hardware Trojan detection.

Michael Rathmair Florian Schupfer Christian Krieg

Published in: ISCAS (2014)

Keyphrases

formal methods
real time
formal analysis
low cost
knowledge based systems
model checking
hardware and software
object oriented
object detection
detection algorithm
hardware implementation
formal specification
temporal properties