Professional service

Journal editor

Standard editor

  • 2014-present: revision of the ISO/IEC 11770-4:2006 standard on "key management, Part 4: Mechanisms based on weak secrets"

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

PhD thesis examination

Grant reviewer

Standards committee


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