1 citations · 1 across the 2 of their papers we have counts for
4 papers
A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis
Kevin Morio, Yavor Ivanov, Robert Künnemann
Tamarin and ProVerif are two prominent tools for the formal verification of security protocols. They share the same high-level goal but differ significantly in their underlying for…
Automated Side-Channel Analysis of Cryptographic Protocol Implementations
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
Formal verification of cryptographic protocols typically relies on symbolic models that abstract away compiled code and microarchitectural side channels, leaving a gap between veri…
Symbolic Parallel Composition for Multi-language Protocol Verification
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
The implementation of security protocols often combines different languages. This practice, however, poses a challenge to traditional verification techniques, which typically assum…
Adaptive Exploit Generation against Security Devices and Security APIs
Robert Künnemann, Julian Biehl
Proof-of-concept exploits help demonstrate software vulnerability beyond doubt and communicate attacks to non-experts. But exploits can be configuration-specific, for example when…