Lecturer in Computer Security
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.
- verification of security properties
- detection of attacks
- formal models
- protocol composition
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