Automated unbounded verification of stateful cryptographic protocols with exclusive OR

Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)
6 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Automated unbounded verification of stateful cryptographic protocols with exclusive OR'. Together they form a unique fingerprint.

Engineering & Materials Science