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

6 July 2011

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

5 / 5 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 28 0 0 09 Apr 2025
Verifying Software Vulnerabilities in IoT Cryptographic Protocols Fatimah Aljaafari Lucas C. Cordeiro Mustafa A. Mustafa 33 1 0 27 Jan 2020
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction Mihhail Aizatulin 13 2 0 03 Jan 2020
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols François Dupressoir Andrew D. Gordon Jan Jurjens D. Naumann 41 49 0 23 Dec 2013
Automatic Verification of Correspondences for Security Protocols B. Blanchet 89 241 0 23 Feb 2008