3 papers
cs.CR2025
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…
cs.CR2025
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…
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…