|Funding for:||UK Students|
|Funding amount:||This scholarship covers the full cost of UK tuition fees and an annual stipend of £18,622. Additional research expenses will also be available.|
|Placed On:||25th September 2023|
|Closes:||15th November 2023|
Funding providers: CENSUS Labs and Swansea University
Subject areas: Computer Science
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. 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.
Type / Role: