Attestierungsprotokolle (S02)

• Subject Area: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Term: since 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 236615297

Das Ziel des Projekts ist die Entwicklung des ersten Attestierungsverfahrens für große und komplexe Softwaresysteme. Insbesondere werden im Rahmen des Projekts Attestierungsprotokolle entwickelt, die sowohl Angriffe auf den Kontroll- und Datenfluss, als auch Mikroarchitekturangriffe gezielt erkennen. Zu diesem Zweck werden leistungsfähige neue Verfahren entwickelt, die sowohl der Überprüfung von als auch der Berichterstattung über Attestierungen dienen. Die Entwicklung effizienter Verwaltungsmechanismen für hardware-basierte Vertrauensanker spielt eine weitere Rolle. Darüber hinaus wird die erste auf maschinellem Lernen basierende Verifizierungsmethode von Attestierungen vorgestellt.

• DFG Programme: Sonderforschungsbereiche
• Subproject of: SFB 1119: CROSSING - Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
• Antragstellende Institution: Technische Universität Darmstadt
• Teilprojektleiter: Professor Dr.-Ing. Lucas Davi, since 12/2017; Professor Dr.-Ing. Ahmad-Reza Sadeghi; Dr. Christian Wachsmann, until 3/2015