Projects per year
Personal profile
Education/Academic qualification
Doctor of Philosophy, Cusp Forms Over Function Fields and Modular Symbols, 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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
Verification of Stateful Cryptographic Protocols with Exclusive OR
Dreier, J., Hirschi, L., Radomirović, S. & Sasse, R., 4 Feb 2020, In: Journal of Computer Security. 28, 1, 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile311 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 AccessFile174 Citations (Scopus)247 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. 8429312Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile17 Citations (Scopus)293 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 AccessFile334 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 AccessFile31 Citations (Scopus)215 Downloads (Pure)