Projects per year
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.
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.
Research Output 2006 2018
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. 745Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 8429312Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
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
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)
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 journal › Article
Open Access
File
Software testing
Information Storage and Retrieval
Repair
Software
software