Login / Signup

Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

Mihhail AizatulinAndrew D. GordonJan Jürjens
Published in: CoRR (2011)
Keyphrases