Matt is a PhD student in the field of autonomous vehicle research. He is conducting his doctoral studies in a collaborative research project between Coventry University and HORIBA MIRA. He is a member of the Institute for Future Transport and Cities (FTC) at Coventry University and the Centre for Connected Autonomous Automotive Research (CCAAR) at HORIBA MIRA.

After completing his BSc in Product Design, Innovation and Marketing, Matt went on to have a successful career in cybersecurity, with senior leadership roles in a number of global organisations. He returned to academia, completing an MBA with Coventry University, concluding with a thesis entitled "Cybersecurity and connected autonomous vehicle adoption - How do we ensure cybersecurity doesn’t stop us all getting autonomous vehicles?"

Matt's PhD research relates to model-based security testing for connected autonomous vehicles, to provide a systematic approach to generating test suites from formal models of system designs, where the formal models capture system behaviour in an unambiguous and mathematically precise way.

The aim of this project is to augment the existing design methodology for automotive embeddedsystems with model-based security testing. This will increase the confidence that automotive systems are secure by design and security properties are realised in the implementation. A prototype toolset will be developed for evaluation and technology transfer readiness.Research Questions would include:

• How to model reference architectures for typical sub-systems in a selected semi-formal languageand a selected formal language? This includes the transformation from semi-formal models into formal ones
• How to take into account aspects of the system environment that are relevant to security in these models, such as attack trees and attack-defence trees?
• How to manage risks and generating test cases from formal models. This includes how to parameterise formal models to quantify and manage potential risks?
• How to automate the transformation from semi-formal models to formal ones and the generationand execution of test cases?