Myrto Arapinis
Personal

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.
Events
TGC 2013, 8th International Symposium on Trustworthy Global Computing, Buenos Aires, August 30-31st, 2013, colocated with CONCUR 2013.
FCS 2013, Workshop on Foundations of Computer Security, New Orleans, June 29, 2013, affiliated to LICS 2013 and CSF 2013.
Hot-Spot 2013, 1st Workshop on Hot issues in Security Principles and Trust, Rome, March 17th, 2013, colocated with ETAPS 2013.
TGC 2012, 7th International Symposium on Trustworthy Global Computing, New Castle, September 7-8th, 2012, colocated with CONCUR 2012.
Contact
Myrto ArapinisSchool of Computer Science
University of Birmingham
Birmingham
B15 2TT
UK Tel: +44 (0)121 414 6749
Fax: +44 (0)121 414 4218
E-mail: M.D.Arapinis at cs.bham.ac.uk