Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentation

Computer Security Foundations Symposium (CSF). 2010

Erscheinungsjahr: 2010

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

GeprüftBibliothek

Autoren

Aizatulin, Mihhail (Autor)
Gordon, Andrew D. (Autor)
Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo FB 4: Informatik
Logo Institut für Informatik