Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
Steve Kremer; Michael Backes; Steve Zdancewic; Jonathan Herzog (Hrsg). 24th IEEE Computer Security Foundations Symposium CSF 2011: 27-29 June, 2011; Cernay-la-Ville, France. Los Alamitos, CA: IEEE Computer Society 2011 S. 3 - 17
Erscheinungsjahr: 2011
ISBN/ISSN: 978-1-61284-644-6
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/CSF.2011.8
| Geprüft | Bibliothek |
Autoren
Dupressoir, François (Autor)
Gordon, Andrew D. (Autor)
Naumann, David A. (Autor)
