Secure Integration of Cryptographic Software (E01)

• Subject Area: Software Engineering and Programming Languages
• Term: since 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 236615297

Cognicrypt already supports developers in the secure integration of cryptographic software. The project now develops CogniCrypt-Assist to educate developers about code integration and why it is secure. Additionally, the project systematically investigates requirements from security-relevant APIs beyond crypto on their specification language CrySL. The project also seeks to react to new developments in data-driven software tools, such as programming robots, where it develops data-driven programming methods for automating the creation of curated datasets and designs new code generation completion methods for crypto APIs.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1119: CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
• Applicant Institution: Technische Universität Darmstadt
• Project Heads: Professor Dr. Eric Bodden; Professorin Dr.-Ing. Mira Mezini