Attestierungsprotokolle (S02)

• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung seit 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: 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, seit 12/2017; Professor Dr.-Ing. Ahmad-Reza Sadeghi; Dr. Christian Wachsmann, bis 3/2015