5 citations · 19 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025★ 1 cited
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…