Myrto D. Arapinis

Lecturer in Computer Security

School of Informatics

University of Edinburgh

Research interests

My main area of research is verification of cryptographic protocols: I am particularly interested in the analysis of privacy-type properties of applications such as mobile telephony, electronic voting, statistical databases.


I am currently seeking PhD, masters and undergraduate students for internships on projects in cyber security. Please contact me to apply.


Contact information

Informatics Forum, Room 5.27
10 Crichton Street
University of Edinburgh
Edinburgh, EH8 9AB

Tel: +44 (0) 131 650 9981
Email: marapini at