Automated unbounded verification of stateful cryptographic protocols with exclusive OR

Jannik Dreier*, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse

*Corresponding author for this work

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

38 Citations (Scopus)
48 Downloads (Pure)

Search results