My research interests are focused on the application of formal specification and analysis methods for understanding non-functional system properties, in particular security properties, as well as the application of such techniques to the specification and analysis of complex systems, like IoT and Cloud systems. My most recent research has been focused on the analysis of data sets for understanding security behaviour, as well as the definition and application of risk and Cyber security metrics.
I am a member of several academic networks and working groups including ERCIM Formal Methods for Industrial and Critical Systems, ERCIM Security and Trust Management and IFIP WG 11.3 on Data and Application Security and Privacy. In the past, I was also a member of EPSRC’s CryptoForma network, and I worked in several European projects involving a substantial element of research in security and trust management, including FP6 projects GridTrust and XtreemOS and FP7 project Consequence. I have been a member of several program committees for international conferences and workshops over the years.
I am an Academic Editor for the Journal of Security and Communication Networks, a Distinguished Editorial Board Member of the International Journal of Cyber Forensics and Advanced Threat Investigations and the Editor-in-Chief of the BNU Computing Letters. I also lead the BNU Computing and AI Research Group.
You can find more on my research profile on RG and on Google Scholar.
My ORCID number is 0000-0001-5089-2025.