No photo of Sasa Radomirovic

View Scopus Profile

Radomirovic, Sasa

Dr

 https://orcid.org/0000-0001-5285-2297
  • 532 Citations
  • 13 h-Index
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.

Projects

ColourSpecs A Wearable System for Presenting Colour Information to People with Impaired Colour Vision

Radomirovic, S.

Engineering and Physical Sciences Research Council

1/02/17 → 31/07/18

Project: Research

Research Output

  • 532 Citations
  • 13 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

Open Access
File
    • 51 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
    • 30 Citations (Scopus)
    143 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
    4 Citations (Scopus)
    123 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
    • 248 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
    • 13 Citations (Scopus)
    146 Downloads (Pure)