ResearchTrend.AI
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

François Dupressoir
Andrew D. Gordon
Jan Jurjens
D. Naumann
ArXiv (abs)PDFHTML

Papers citing "Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols"

1 / 1 papers shown
Title
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin
Andrew D. Gordon
Jan Jurjens
72
67
0
06 Jul 2011

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.