CryptoBap: A Binary Analysis Platform for Cryptographic Protocols

28 August 2023

Robert Künnemann

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

2 / 2 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 21 0 0 09 Apr 2025
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 41 95 0 05 Mar 2014