Sasa Radomirovic is a Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in Computer Science. He is actively engaged in research and currently accepting PhD students. His work bridges formal methods with real-world security applications, focusing on cryptographic protocols, digital identity, and human behavior in security systems. Research Interests: His primary research lies in formal modeling and verification of security-critical systems. He investigates how to design and analyze cryptographic protocols, manage digital identities, authenticate entities securely, and incorporate human fallibility into security models. Applications of his research span RFID, E-Voting, and 5G communication systems. His recent work emphasizes the integration of human factors into cybersecurity, as seen in studies on account security and user perceptions of connected technologies. Publication Trends: Over the past five years, his research output has centered on formal verification, authentication mechanisms, and the human aspects of security. His publications appear in top-tier venues such as IEEE CSF, ESORICS, and CHI, reflecting a strong interdisciplinary approach combining theoretical rigor with practical impact. Themes include security ceremonies, access graphs, and system software security, indicating a consistent focus on foundational and applied cybersecurity challenges. Scientific Recognition: While specific awards are not listed, his research has been cited in Scopus and garnered attention from Mendeley readers and news outlets. His work has been highlighted by multiple X (formerly Twitter) users and covered by 10 news outlets, indicating broader societal and academic impact. Advising and Grants: He is currently accepting PhD students, suggesting active supervision and likely grant-funded research. Although specific grants and advisees are not detailed in the text, his sustained publication record and institutional affiliations imply ongoing research funding and mentorship responsibilities. Labs and Research Groups: While no specific lab name is mentioned, his affiliation with the School of Mathematical & Computer Sciences and his research fingerprint suggest active participation in cybersecurity and formal methods research groups at Heriot-Watt University. His collaborations with researchers across Europe indicate a well-connected network in the security research community.









