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 proceeding › Conference contribution

20 Citations (Scopus)

6 Downloads (Pure)

1 results
- Last Name(descending)

Sasa Radomirovic
- Sasa.Radomirovic@hw.ac.uk
- School of Mathematical & Computer Sciences - Associate Professor
- School of Mathematical & Computer Sciences, Computer Science - Associate Professor
Person: Academic (Research & Teaching)