Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

32 Citations (Scopus)

218 Downloads (Pure)

1 results
- Last Name(descending)

Radomirovic, Sasa
- Computing - Associate Staff
Person: Associate Staff