Research includes security model-based security engineering; secure-by-design; security requirements elicitation and reasoning; trust analysis; risk management; privacy engineering.
Automated provision of context and explanation, encompassing semantic and ontological challenges; intelligent reasoning systems; agent-based architectures; natural language processing; computational linguistics; machine learning techniques for complex datasets.
Interactive technologies including creative design methods, user-centred design and evaluation; visualisation of logic; data visualisation; usability of secure and dependable systems; application in real world systems.