Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

23 December 2013

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

2 / 2 papers shown

Title
A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version) Linard Arquint M. Schwerhoff Vaibhav Mehta Peter Müller 11 3 0 05 Dec 2022
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction Mihhail Aizatulin 13 2 0 03 Jan 2020