Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
S. 1 - 39
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1312.6532
Autoren
Dupressoir, François (Autor)
Gordon, Andrew D. (Autor)
Jürjens, Jan (Autor)
Naumann, David A. (Autor)