Guiding a general-purpose C verifier to prove cryptographic protocols
Open Access
- 11 July 2014
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 22 (5) , 823-866
- https://doi.org/10.3233/jcs-140508
Abstract
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptography. Our techniques include: use of ghost state to attach formal algKeywords
This publication has 0 references indexed in Scilit: