Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CoRR. Bd. abs/1312.6532. 2013
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Dupressoir, François (Autor)
D. Gordon, Andrew (Autor)
A. Naumann, David (Autor)