Cyber Security is becoming more and more important with the increasing integration of communication interfaces in various network systems, such as vehicular ad-hoc networks, mobile ad-hoc networks, controller areas networks and in-vehicle infotainment systems.
One of the key challenges is to make these systems safe, secure, reliable, and hence less vulnerable to cyber threads. Formal verification plays an important role in designing safe and secure systems by providing rigorous mathematical proof techniques to verify whether systems work accurately and system behaviours meet user requirements. Formal verification provides the capability to enhance functional safety and security and eliminates system vulnerabilities. It can provide guidance for gapless system design, and for checking that an artefact has no points of entry for the adversary.
This project is aiming to analyse cyber security vulnerabilities of communication network systems using cutting-edge formal methods and verification techniques and to develop safe, secure and reliable systems by defining mitigation strategies to defend against the identified cyber threats. The project also aims to verify the cyber security standard compliance for these network systems.
Candidates are expected to hold (or be about to obtain) a minimum 2:1 honours degree (or equivalent) in a related area / subject, e.g. Computer Science, Mathematics, Formal Methods, Cyber Security, Computer Networks, etc. MSc, MA or relevant experience in a related discipline is highly desirable.