Sprungmarken

Servicenavigation

Fachbereich Informatik Institut für Softwaretechnik
Institut für Softwaretechnik

Forschungsgruppe
Software Engineering

Hauptnavigation


Bereichsnavigation



This page in English

Informationen

Kontakt

Universität Koblenz-Landau

Institut für Softwaretechnik

Universitätsstraße 1
D-56070 Koblenz



Ansprechpartner

Hauptinhalt

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.