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üft: | Bibliothek |
Computer Security Foundations Symposium (CSF). 2010
Erscheinungsjahr: 2010
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
