![](/de/informatik/ist/juerjens/projekte/csec/@@images/preview_image-605-78ab84cdbf04ab4432c724d65d071524.jpeg)
Csec: Verifying Implementations of Security Protocols in C
![](/de/informatik/ist/juerjens/projekte/csec/@@images/logo-400-1d1b9f9a743e6ef43bc1ae5e75d6e1ab.png)
Csec
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.
Förderungen & Partnerschaften
Gefördert von