13 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.CR2020
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction
Mihhail Aizatulin
This thesis presents an automated method for verifying security properties of protocol implementations written in the C language. We assume that each successful run of a protocol f…
cs.CR2011★ 13 cited
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…