Csec: Verifying Implementations of Security Protocols in C

Dieses Projekt hat einen Ansatz entwickelt, mit dem Implementierungen von kryptographischen Protokollen gegenüber ihren Spezifikationen verifizieren können, die wiederum gegenüber IT-Sicherheitsanforderungen verifiziert werden. Der Ansatz wurde auf existierende Implementierungen von kryptographischen Protokollen angewendet.