Sichere Integration kryptographischer Software (E01)

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

Cognicrypt unterstützt Entwickler bereits bei der sicheren Integration von kryptographischer Software. Nun entwickelt das Projekt CogniCrypt-Assist, um Entwickler über Code-Integration und deren Sicherheit aufzuklären. Zusätzlich untersucht das Projekt systematisch Anforderungen von sicherheitsrelevanten APIs jenseits von Kryptographie an die Spezifikationssprache CrySL. Das Projekt wird auch auf neue Entwicklungen bei datenbasierten Softwaretools, wie z.B. Programmierroboter, reagieren, indem es datenbasierten Programmiermethoden zur automatisierten Erstellung kuratierter Datensätze entwickelt und neue Methoden zur Vervollständigung der Codegenerierung für kryptographische APIs entwirft.

• 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
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Eric Bodden; Professorin Dr.-Ing. Mira Mezini