If you made any changes in Pure these will be visible here soon.

Personal profile

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.


Dive into the research topics where Myrto Arapinis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or