Starten Sie Ihre Suche...


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

Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

CoRR. S. 1 - 29

Publikationstyp: Preprint (noch nicht publizierte Dokumente)

Sprache: Englisch

Doi/URN: 10.48550/arXiv.1107.1017

Volltext über DOI/URN

Website
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 Institut für Informatik