Saša Radomirović

A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi et al. · 2018 · 396 citations · Full text

Computing, Computer Science, Information Technology +17

Attack-defense trees

Barbara Kordy, Sjouke Mauw, Saša Radomirović et al. · Journal of Logic and Computation · 2012 · 171 citations · Full text

Computing, Computer Science, Cybersecurity +10

Attacks on RFID Protocols

Ton van Deursen, Saša Radomirović · Discovery Research Portal (University of Dundee) · 2008 · 93 citations · Full text

Computing, Computer Science, Electrical Engineering +17

A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen et al. · Information and Computation · 2007 · 59 citations · Full text

Computing, Computer Science, Cybersecurity +14

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović et al. · 2018 · 42 citations · Full text

Computing, Computer Engineering, Computer Science +17