Detailseite
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