Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
Erscheinungsjahr: 2007
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
