Implementierung von Kontraktmonitoren:
- Spezifikation über das angenommene Verhalten der Umgebung von Hardware Komponenten unter denen ein bestimmte Garantie über das Verhalten der Komponente gegeben werden kann (Assumption-Guarantee Kontrakte) 
- Die verschiedenen Kontrakte werden als Monitore direkt auf der Hardwareplatform integriert und überprüfen zur Laufzeit ob Violationsauftreten - wenn ja, ist das ein Hinweis auf unautorisierte Zugriffe
- Hilfreich sind für die Implementierung Kenntnisse zu C++/SystemC oder VHDL 
Ziel ist die Analyse verschiedener Monitore zur Entdeckung unterschiedlicher möglicher Angriffscenarien auf die Hardware.
Für weitere Informationen und Details meldet euch gerne direkt bei mir