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

University of Koblenz-Landau

Department of Software Technology

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.