Verifying Cryptographic Security Implementations in C Using Automated Model Extraction

3 January 2020

Papers citing "Verifying Cryptographic Security Implementations in C Using Automated Model Extraction"

6 / 6 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 41 0 0 09 Apr 2025
Inductive Analysis of the Internet Protocol TLS Lawrence Charles Paulson 35 298 0 17 Jul 2019
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols François Dupressoir Andrew D. Gordon Jan Jurjens D. Naumann 61 49 0 23 Dec 2013
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
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach Ralf Küsters Tomasz Truderung 136 77 0 05 Aug 2008
Automatic Verification of Correspondences for Security Protocols B. Blanchet 112 241 0 23 Feb 2008