[Back]

C. Krieg:
"SHAPE-HT -- Secure Hardware by Automatic Property Extraction to Detect Design-Level Hardware Trojans";
Poster: MESS16 - Microelectronic Systems Symposium, Wien; 2016-04-28 - 2016-04-29.

n.a.

Im Rahmen des Projektes werden Methoden entwickelt, um automatisiert Hardware-Trojaner in Hardware-Designs zu detektieren.
Hierbei werden Hardware-Strukturen und Verhaltensweisen beschrieben, die potentiell bösartig sein können. Ein Hardware-
Design wird auf RTL-Ebene eingelesen und dahingehend analysiert, welche strukturellen und temporalen Elemente bösartig
agieren können. Zu diesem Zweck wird eine strukturierte Darstellung des Hardware-Designs untersucht. Das Problem bei der
automatisierten Erkennung von Hardware-Trojanern auf Design-Ebene ist, dass Strukturen, die durch einen Hardware-Trojaner
verwendet werden, auch in gutartiger Art und Weise eingesetzt werden können. Um die Bösartigkeit solcher Strukturen zu
untersuchen, wird deren Verhalten analysiert. Dies geschieht durch das Extrahieren von Kennwerten dieser Strukturen, welche in
überprüfbare Eigenschaften übersetzt werden. Diese Eigenschaften werden anschließend im Rahmen von "Model Checking"
automatisiert gegen das Design überprüft. Die abschließende Bewertung des Prüfergebnisses durch einen Verifikationsingenieur
liefert eine Aussage über eventuell eingeschleuste Hardware-Trojaner.

Hardware security, hardware Trojan, property checking