Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

Computer Science: Fully Funded CENSUS Labs and Swansea University PhD Scholarship: Model-Based Security Testing for Hardware Fault Injection

   School of Mathematics and Computer Science

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  Prof Siraj Ahmed Shaikh  No more applications being accepted  Funded PhD Project (UK Students Only)

About the Project

Funding providers: CENSUS Labs and Swansea University

Subject areas: Computer Science

Project start date: 

  • 1 January 2024 (Enrolment open from mid-December)

Project supervisors: 

Aligned programme of study: PhD in Computer Science

Mode of study: Full-time

Project description: 

Model-based security testing has the potential to provide for systematic testing and evaluation of implementations. Security testing of embedded systems (as part of an increasing real-world need for IoT evaluation and certification) is increasingly being adopted in a number of sectors. In collaboration with CENSUS Labs, who are involved in real-world security testing and assurance of systems, this project would develop a formal framework for model-based testing. The model will have to represent the environment, I/O interfaces, internal implementation complexities, and also account for a threat model to represent attacker behaviour. Following from this, a test case generation algorithm would be implemented to account for systematic faults and manipulated sequences to evaluate the system. The project will implement a bespoke test bench, in close collaboration with CENSUS Labs, to automate this tool chain with the ultimate view to assurance against established standards and best practices. The existing configuration provided by embedded systems emulated on an FPGA development environment is a likely test platform for this purpose. A hostile communications environment would be used to emulate attacks established in the literature. Use case from consumer and automotive IoT are likely candidates for early testing against known safety- and liveness-related security properties.


Candidates must hold an Upper Second Class (2.1) honours degree in Computer Science, Mathematics or a closely related discipline or an appropriate master’s degree with a minimum overall grade at ‘Merit’. If you are eligible to apply for the scholarship (i.e. a student who is eligible to pay the UK rate of tuition fees) but do not hold a UK degree, you can check our comparison entry requirements. Please note that you may need to provide evidence of your English Language proficiency. 

Due to funding restrictions, this scholarship is open to applicants eligible to pay tuition fees at the UK rate only, as defined by UKCISA regulations

Computer Science (8)

Funding Notes

This scholarship covers the full cost of UK tuition fees and an annual stipend of £18,622.
Additional research expenses will also be available.

Open days