Edinburgh Research Explorer
Profile photo

Willingness to take Ph.D. students: Yes

Research Interests

Dr. Myrto Arapnis’s research interests are in verification of cryptographic protocols: verification of security properties, detection of attacks, formal models, protocol composition. She is also interested in the area of automatic deduction: resolution, re-writing, process algebra.


2004-2008 PhD Paris XII University
  Thesis title: "Security of Cryptographic Protocols: Decidability and Reduction Results"
2002-2004 MSc Computer Science, Paris VII University
1998-2002 BSc Computer Science, Paris XII University


Dr. Myrto Arapinis received her PhD from the University of Paris XII. From 2008 to 2013 she was a Research Fellow with the School of Computer Science, University of Birmingham. She joined the School of Informatics, University of Edinburgh, as a Lecturer in September 2013. The vision of Dr. Arapinis' research is to propose logical foundations for automatic analysis of up-to-date electronic systems with respect to users’ security and privacy. Her work in the area of formal analysis of security is articulated around three axes: modelling protocols and their properties, developing tools and reduction results for the automatic verification of cryptographic protocols, and applying the developed tools and theories to real life systems.

Research outputs

  1. On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Low-Level Attacks in BitcoinWallets

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Analysis of privacy in mobile telephony systems

    Research output: Contribution to journalArticle

View all (28) »

ID: 9220685