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

Public talks

Journal reviewer

MSc program examiner

  • 2019-2024: External examiner for MSc Cyber Security Programme at School of Computing and Communications, University of Lancaster.
  • 2017-2022: External examiner for MSc programs on Cyber Security and Advanced Computer Science at the School of Computer Science, University of Birmingham.

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


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