Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012Computational verification of C protocol implementations by symbolic execution
Aizatulin, M.; Gordon, D.; Jürjens, J.
Konferenzbeitrag
2012Verifying cryptographic code in C: Some experience and the Csec challenge
Aizatulin, M.; Dupressoir, F.; Gordon, A.D.; Jürjens, J.
Konferenzbeitrag
2011Extracting and verifying cryptographic models from C protocol code by symbolic execution
Aizatulin, M.; Gordon, A.D.; Jürjens, J.
Konferenzbeitrag