CryptoBap: A Binary Analysis Platform for Cryptographic Protocols

v1v2 (latest)

CryptoBap: A Binary Analysis Platform for Cryptographic Protocols

28 August 2023

Faezeh Nasrabadi

Robert Künnemann

ArXiv (abs)PDF HTML

Papers citing "CryptoBap: A Binary Analysis Platform for Cryptographic Protocols"

6 / 6 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 44 0 0 09 Apr 2025
Proof-Producing Symbolic Execution for Binary Code Verification Andreas Lindner Roberto Guanciale M. Dam 24 5 0 18 Apr 2023
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 81 96 0 05 Mar 2014
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols François Dupressoir Andrew D. Gordon Jan Jurjens D. Naumann 67 49 0 23 Dec 2013
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution Mihhail Aizatulin Andrew D. Gordon Jan Jurjens 75 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 141 77 0 05 Aug 2008