Professional service

Journal editor

Standard editor

Special issue editor

  • 2015-2016: Guest editor (with Eerke Boiten and Mark Ryan) for Formal Aspects of Computing (Springer), Special issue on description, analysis and verification of cryptographic primitives and cryptography-based security protocols
  • 2014-2015: Guest editor (with Xun Yi and Elisa Bertino) for Journal of Information Security and Applications, Special issue on Security and Privacy in Cloud Computing

PC member

Journal reviewer

MSc program examiner

PhD thesis examination

External interview panel

  • 2018: External member in the interview panel for Lecturer/Senior Lecturer/Reader in Security, School of Informatics, University of Edinburgh.

Grant reviewer

Standards committee

Membership

  • 2016-present: senior member of IEEE
  • 2012-2016: member of IEEE
  • 2010-2013: CISSP