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 PhD students. If you have
an undergraduate degree in Mathematics, Computer Science or a related area
and an interest in Information Security,
contact me with your CV.