I am an associate professor in Computer Science at Heriot-Watt University.
I am interested in all aspects of information security. My most recent
research has focused on
security and privacy properties of cryptographic protocols, threat modeling,
and formal modeling and analysis of human factors in security-critical