4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.CR2024★ 4 cited
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
Kevin Morio, Robert Künnemann
There exists a verification gap between formal protocol specifications and their actual implementations, which this work aims to bridge via monitoring for compliance to the formal…
cs.CR2023
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
We introduce CryptoBap, a platform to verify weak secrecy and authentication for the (ARMv8 and RISC-V) machine code of cryptographic protocols. We achieve this by first transpilin…
cs.CR2016★ 3 cited
Computational Soundness for Dalvik Bytecode
Michael Backes, Robert Künnemann, Esfandiar Mohammadi
Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenge…