Research output per year
Research output per year
Personal profile
Research interests
My research area is formal modeling and formal verification of security-critical systems.
My research focuses on the design and analysis of cryptographic protocols, digital identity management, entity authentication, and how to extend the formal verification of security-critical systems to include reasoning about human behaviour and fallibility. I have applied my research for example to RFID systems, E-Voting systems and 5G mobile communication.
Biography
Dr. Sasa Radomirovic is a Professor of Computer Science at Heriot-Watt University. He was previously a senior scientist at ETH Zurich and a senior lecturer at the University of Surrey. 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
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
-
From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security
Arnaboldi, L., Aspinall, D., Kolb, C. & Radomirović, S., 22 Aug 2025, (E-pub ahead of print) Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Törngren, M., Gallina, B., Schoitsch, E., Troubitsyna, E. & Bitsch, F. (eds.). Springer, p. 88-100 13 p. (Lecture Notes in Computer Science; vol. 15955).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Nothing is Out-of-Band: Formal Modeling of Ceremonies
Fila, B. & Radomirovic, S., 20 Sept 2024, 37th IEEE Computer Security Foundations Symposium (CSF). IEEE, p. 464-478 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
Tactics for Account Access Graphs
Arnaboldi, L., Aspinall, D., Kolb, C. & Radomirović, S., 12 Jan 2024, Computer Security – ESORICS 2023. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). Springer, p. 452-470 19 p. (Lecture Notes in Computer Science; vol. 14346).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Track Editorial: Theme: System Software Security
Bella, G. & Radomirović, S., 7 Jun 2023, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 1520-1521 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
"I'm Surprised So Much Is Connected"
Hammann, S., Crabb, M., Radomirovic, S., Sasse, R. & Basin, D., 29 Apr 2022, CHI '22: CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 620Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Citations (Scopus)