Radomirovic, Sasa

Associate Staff, Computing

https://orcid.org/0000-0001-5285-2297

552 Citations
13 h-Index

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Doctor of Philosophy, Rutgers - The State University of New Jersey, New Brunswick

Sep 1999 → 2005

Award Date: 1 Oct 2005

Swiss Federal Institute of Technology Zurich

Sep 1993 → 1998

Fingerprint Dive into the research topics where Sasa Radomirovic is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

1 Finished

ColourSpecs A Wearable System for Presenting Colour Information to People with Impaired Colour Vision

Radomirovic, S.

Engineering and Physical Sciences Research Council

1/02/17 → 31/07/18

Project: Research

Research Output

552 Citations
13 h-Index
25 Conference contribution
12 Article
1 Paper

Verification of Stateful Cryptographic Protocols with Exclusive OR

Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R., 13 Nov 2019, In : Journal of Computer Security. 34 p.

Research output: Contribution to journal › Article

Open Access

File

64 Downloads (Pure)

A Formal Analysis of 5G Authentication

Basin, D., Dreier, J., Hirschi, L., Radomirović, S., Sasse, R. & Stettler, V., 8 Oct 2018, 25th ACM Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. 2018. p. 1383-1396 21 p. 745

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

Open Access

File

39 Citations (Scopus)

157 Downloads (Pure)

Alethea: A Provably Secure Random Sample Voting Protocol

Basin, D., Radomirović, S. & Schmid, L., 9 Aug 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE, p. 283-297 15 p. 8429312

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

Open Access

File

4 Citations (Scopus)

138 Downloads (Pure)

An Anti-Pattern for Misuse Cases

Dashti, M. T. & Radomirović, S., 2018, Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Revised Selected Papers: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers. Katsikas, S. K., Cuppens, F., Cuppens, N., Lambrinodakis, C., Kalloniatis, C., Mylopoulos, J., Anton, A. & Gritzalis, S. (eds.). Switzerland: Springer , Vol. 10683. p. 250-261 12 p. (Lecture Notes in Computer Science; vol. 10683).

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

Open Access

File

261 Downloads (Pure)

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R., 7 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). 31st ed. IEEE, p. 359-373 15 p.

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

Open Access

File

13 Citations (Scopus)

161 Downloads (Pure)