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.

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.