Radomirovic, Sasa

Dr

  • Senior Lecturer (Teaching and Research), Computing
  • 473 Citations
  • 11 h-Index
20062018
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.

Radio frequency identification (RFID) Engineering & Materials Science
Authentication Engineering & Materials Science
Radio Frequency Identification Mathematics
Attack Mathematics
Network protocols Engineering & Materials Science
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 2018

  • 473 Citations
  • 11 h-Index
  • 25 Conference contribution
  • 11 Article
  • 1 Paper
11 Citations (Scopus)
77 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)
62 Downloads (Pure)

Alethea: A Provably Secure Random Sample Voting Protocol

Basin, D., Radomirović, S. & Schmid, L., 11 Jul 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE Computer Society, Vol. 2018-July. p. 283-297 15 p. 8429312

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

Open Access
File
184 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
6 Citations (Scopus)
84 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)
96 Downloads (Pure)

Force Open: Lightweight black box file repair

Wust, K., Tsankov, P., Radomirovic, S. & Dashti, M. T., Mar 2017, In : Digital Investigation. 20, Suppl., p. S75-S82 8 p.

Research output: Contribution to journalArticle

Open Access
File
Software testing
Information Storage and Retrieval
Repair
Software
software