Sprungmarken

Servicenavigation

Fachbereich Informatik Institute for Software Technology
Institute für Software Technology

Research Group
Software Engineering

Hauptnavigation


Bereichsnavigation



Diese Seite in Deutsch

Information

Contact

Technical University Dortmund

Faculty of Computer Science
FB 4 - RGSE

D-56070 Koblenz



Contact Person

Main Content

Verifying Implementations of Security Protocols in C (Csec)
Cryptographic code in C, such as security protocols and hardware security modules, is a critical substrate of our software infrastructures. The Csec project aims to develop software analysis techniques to verify and find bugs in such code.