TY  - RPRT
TI  - Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
AU  - François Dupressoir
AU  - Andrew D. Gordon
AU  - Jan Jürjens
AU  - David A. Naumann
PY  - 2013
UR  - https://arxiv.org/abs/1312.6532
ID  - 1312.6532
ER  -