Radomirovic, Sasa

Dr

  • Senior Lecturer (Teaching and Research), Computing
  • 484 Citations
  • 12 h-Index
20062019
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 19992005

Swiss Federal Institute of Technology Zurich

Sep 19931998

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.

  • 1 Similar Profiles
Radio frequency identification (RFID) Engineering & Materials Science
Authentication Engineering & Materials Science
Radio Frequency Identification Mathematics
Network protocols Engineering & Materials Science
Attack Mathematics
Security Protocols Mathematics
Formal methods Engineering & Materials Science
Communication Engineering & Materials Science

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

Projects 2017 2018

Research Output 2006 2019

  • 484 Citations
  • 12 h-Index
  • 25 Conference contribution
  • 12 Article
  • 1 Paper
9 Downloads (Pure)

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 journalArticle

Open Access
File
Network protocols
Radio frequency identification (RFID)
11 Citations (Scopus)
93 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 proceedingConference contribution

Open Access
File
Authentication
Network protocols
Next generation networks
Telecommunication networks
2 Citations (Scopus)
80 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 proceedingConference contribution

Open Access
File
201 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 proceedingConference contribution

Open Access
File
Requirements engineering
Communication
Requirements Engineering
Elicitation
Use Case
7 Citations (Scopus)
100 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 proceedingConference contribution

Open Access
File
Network protocols
Radio frequency identification (RFID)