No photo of Sasa Radomirovic

View Scopus Profile

Radomirovic, Sasa

Dr

 https://orcid.org/0000-0001-5285-2297
  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20062019

Research output per year

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

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.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 629 Citations
  • 14 h-Index
  • 25 Conference contribution
  • 12 Article
  • 1 Paper

  • 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 › peer-review

    Open Access
    File
    117 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
    50 Citations (Scopus)
    186 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
    8 Citations (Scopus)
    175 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
    282 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
    21 Citations (Scopus)
    196 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.