Verifikation von Sicherheitsprotokoll-Implementierungen in C (Csec)

Kryptographischer Code, wie zum Beispiel in Sicherheitsprotokollen und Hardware-Sicherheitsmodulen, ist ein kritisches Element in modernen Software-Infrastrukturen. Das Csec-Projekt zielt darauf ab, Analysetechnologien für C-Code, um Software zu verifizieren und mögliche Sicherheitslücken aufzudecken.