Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CSF. 2011 S. 3 - 17
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Dupressoir, François (Autor)
D. Gordon, Andrew (Autor)
A. Naumann, David (Autor)