Reader in Computer Security
My main area of research is provable security:
I am particularly interested in applications such as mobile telephony, electronic voting, statistical databases.
- verification of crypto protocols
- formal models
- protocol composition
- applied cryptography
- quantum cryptography
I am currently seeking PhD, masters and undergraduate students for internships on projects in cyber security. Please contact me to apply.
Informatics Forum, Room 5.27
10 Crichton Street
University of Edinburgh
Edinburgh, EH8 9AB
Tel: +44 (0) 131 650 9981
Email: marapini at inf.ed.ac.uk