University College London Featured PhD Programmes
University of Portsmouth Featured PhD Programmes
University of Kent Featured PhD Programmes
National University of Ireland, Galway Featured PhD Programmes
Loughborough University Featured PhD Programmes

Trustworthy Security Systems

About This PhD Project

Project Description

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.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully

FindAPhD. Copyright 2005-2020
All rights reserved.