• EH14 4AS

    United Kingdom

Accepting PhD Students

20062021

Research activity per year

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

Personal profile

Research interests

My research area is formal modeling and formal verification of security-critical systems.

Over the last fifteen years my research has focused on the design and analysis of cryptographic protocols, formal modeling and verification of privacy properties, digital contract signing, digital identity management, and entity authentication. I have applied my research for example to RFID systems, E-Voting systems and 5G mobile communication.  One of my recent interests is to extend the formal verification of security-critical systems to include reasoning about human behaviour and fallibility.

Biography

Dr. Sasa Radomirovic is an Associate Professor in Computer Science at Heriot-Watt University. He was previously a senior scientist at ETH Zurich and a senior lecturer at the University of Dundee.  He received a PhD in number theory from Rutgers University, USA and worked as a postdoc on cryptographic protocols and formal methods for information security at NTNU Norway and the University of Luxembourg.

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
  • Verifying Table-Based Elections

    Basin, D., Dreier, J., Giampietro, S. & Radomirovic, S., 6 May 2021, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  • Dispute Resolution in Voting

    Basin, D., Radomirovic, S. & Schmid, L., 4 Aug 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF). IEEE, 9155114. (IEEE Computer Security Foundations Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    8 Downloads (Pure)
  • Shaping our mental model of security

    Radomirović, S., 2020, Security Protocols XXVII. Security Protocols 2019. Anderson, J., Stajano, F., Christianson, B. & Matyáš, V. (eds.). Springer, p. 51-59 9 p. (Lecture Notes in Computer Science; vol. 12287).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    10 Downloads (Pure)
  • User account access graphs

    Hammann, S., Radomirović, S., Sasse, R. & Basin, D., 6 Nov 2019, CCS 2019: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1405-1422 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • A formal analysis of 5g authentication

    Basin, D., Dreier, J., Hirschi, L., Radomirovic, S., Sasse, R. & Stettler, V., Oct 2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1383-1396 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    91 Citations (Scopus)
    11 Downloads (Pure)