Myrto Arapinis


Myrto Arapinis's photograph

I am a research fellow, member of the Computer Security group at the School of Computer Science of the University of Birmingham. I am a member of the Verifying Interoperability Requirements in Pervasive Systems ( VPS) project and of the Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information ( TDoms) led by Mark D. Ryan and Eike Ritter.

My main area of research is verification of security protocols. I am particularly interested in the privacy issues raised by mobile and pervasive systems.


FMS 2014: 5th Workshop on Formal Methods for Security, Tunis, Tunisia, June 23, 2014.

FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, June 3-6, 2014.

Past events: TGC 2013, FCS 2013, Hot-Spot 2013, TGC 2012


Myrto Arapinis
School of Computer Science
University of Birmingham
B15 2TT
Tel: +44 (0)121 414 6749
Fax: +44 (0)121 414 4218
E-mail: M.D.Arapinis at