Prof Saša Radomirović
I am a professor in the Department of Computer Science at Heriot-Watt University.
My research focuses on formal methods and formal modeling for cyber security, particularly
cryptographic protocols, threat modeling, security ceremonies, and
agentic AI system security.
Contact Information
Publications