Sichere Implementierung kryptographischer Algorithmen (E03)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 236615297

Ziel des Projekts ist es, ein Framework für die statische Seitenkanalanalyse von kryptographischen Implementierungen zu schaffen, welches zuverlässige quantitative Garantien basierend auf fundierten theoretischen Grundlagen bietet. Das Projekt erhöht die Genauigkeit und Skalierbarkeit der Analysen, indem es Engpässe behebt, die in Fallstudien beobachtet wurden. Es erweitert den Umfang der quantitativen Analysen um die Anfälligkeit für Seitenkanäle, und entwickelt Tools, die eine Automatisierung ermöglichen. Es zeigt Entwicklern auf, wo Abhilfemaßnahmen nötig sind und welche Techniken sie unter Miteinbezug des Kompromisses zwischen Sicherheit und Leistung wählen sollten.

• 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. Marc Fischlin; Professor Dr.-Ing. Heiko Mantel