Radomirovic, Sasa

Dr

Calculated based on number of publications stored in Pure and citations from Scopus
20062020

Research activity 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

Sept 19992005

Award Date: 1 Oct 2005

Swiss Federal Institute of Technology Zurich

Sept 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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 journalArticlepeer-review

    Open Access
    File
    418 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
    250 Citations (Scopus)
    287 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
    20 Citations (Scopus)
    329 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
    362 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
    37 Citations (Scopus)
    245 Downloads (Pure)