No photo of Sasa Radomirovic

View Scopus Profile

Radomirovic, Sasa

Dr

  • Senior Lecturer (Teaching and Research), Computing
 https://orcid.org/0000-0001-5285-2297
  • 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 1999 → 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.

  • 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

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 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 journal › Article

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

Open Access
File
Network protocols
Radio frequency identification (RFID)