TY  - RPRT
TI  - Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
AU  - Mihhail Aizatulin
AU  - Andrew D. Gordon
AU  - Jan Jürjens
PY  - 2011
UR  - https://arxiv.org/abs/1107.1017
ID  - 1107.1017
ER  -