Fingerprint
Dive into the research topics of 'Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
32
Citations
(Scopus)
218
Downloads
(Pure)