I am a senior lecturer in Computing at the University of Dundee.
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 secure systems.
/* security in human-centered computing. */
PhD positions: I am looking for clever students with a strong
interest in Information Security or Cyber Security. If you want to
work with me, contact me with your CV.