Myrto D. Arapinis

Reader in Computer Security

School of Informatics

University of Edinburgh

Research interests

My main area of research is provable security:

verification of crypto protocols
formal models
protocol composition
applied cryptography
quantum cryptography

I am particularly interested in applications such as mobile telephony, electronic voting, statistical databases.

Internships

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

Publications

DBLP entry

Google Scholar profile

Contact information

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

Tel: +44 (0) 131 650 9981
Email: marapini at inf.ed.ac.uk