No photo of Sasa Radomirovic

View Scopus Profile

Radomirovic, Sasa

Dr

 https://orcid.org/0000-0001-5285-2297
Calculated based on number of publications stored in Pure and citations from Scopus
20062020

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • 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 Access
    File
    311 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
    174 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. 8429312

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    17 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 Access
    File
    334 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
    31 Citations (Scopus)
    215 Downloads (Pure)
View all 38 research outputs