Benjamin Aziz is a Senior Lecturer in computer security at the School of Computing, University of Portsmouth. Dr. Aziz holds a PhD in formal verification of computer security from Dublin City University and has research experience in the field of computer and information security spanning 15 years. He has worked at Rutherford Appleton Laboratory and Imperial College London and has published more than 80 articles and book chapters in areas related to the security of large-scale systems, formal security, requirements engineering, and digital forensics. Dr. Aziz is on board program committees for several conferences and working groups, such as ERCIM's FMICS, STM, Cloud Security Alliance, and IFIP WG11.3. He can be reached at benjamin.aziz@port.ac.uk.