Sasa Radomirovic

Dr. Sasa Radomirovic is a Senior Lecturer in Secure Systems and Programme Lead of the MSc Information Security at the University of Surrey. He holds a PhD in Mathematics from Rutgers University (2005) and has held postdoctoral positions at NTNU Trondheim, CRM Barcelona, and the University of Luxembourg. His prior roles include Senior Scientist at ETH Zurich and faculty positions at the University of Dundee and Heriot-Watt University. He is affiliated with the Surrey Centre for Cyber Security and the Computer Science Research Centre within the School of Computer Science and Electronic Engineering.

Dr. Radomirovic specializes in Formal Methods for Information Security and Formal Modeling and Verification of Cryptographic Protocols. His research focuses on ensuring security through rigorous mathematical analysis, with applications in voting systems, IoT, and human-centric security. Key contributions include work on remote attestation protocols, election verification, and user account management strategies.

His recent publications highlight advancements in cryptographic protocol design, system security, and human factors in cybersecurity. Notable works include studies on table-based elections, IoT security perceptions, and dispute resolution mechanisms in voting systems. He has advised PhD students at ETH Zurich and the University of Luxembourg, contributing to impactful research in cybersecurity and formal verification.

Dr. Radomirovic's research integrates theoretical foundations with practical applications, addressing challenges such as protocol vulnerabilities, user behavior analysis, and the security of emerging technologies like 5G and IoT.