Project Areas

E1 – Secure Integration of Cryptographic Software

Software engineers are known to often misuse cryptography, causing the applications that they develop to become insecure. The overall goal of the project is to support developers by providing them tool automation to facilitate secure integration of cryptographic software. For this purpose, the project designs software development and analysis techniques and implements those in the tool CogniCrypt. In CROSSING II the project focuses on providing crypto experts tool automation to facilitate the complete and correct specification of how cryptographic components must be used.