Opacity of real-time systems: Verification and enforcement at University of Surrey on FindAPhD.com

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

Click here to search FindAPhD.com for PhD studentship opportunities

Dr Kuize Zhang No more applications being accepted Funded PhD Project (Students Worldwide)

Guildford United Kingdom Artificial Intelligence Cyber Security Data Science Machine Learning Computer Science

Faculty of Engineering and Physical Sciences, University of Surrey

About the Project

Opacity is a confidentiality property which means if a partially-observed system can prevent its visit to secrets from being leaked to an external intruder. This property has been widely used to describe diverse scenarios in cyber-security/privacy problems, and its theoretical problems in untimed systems have been thoroughly investigated in the past two decades. This project will explore the opacity verification and enforcement problems in real-time systems, in order to enrich the theoretical and applicable studies in this area.

Studentship group name

Surrey Institute for People-Centred AI

Department/School

School of Computing and Electrical Engineering

Research group(s)

Nature Inspired Computing and Engineering Research Group

How to Apply

Applications should be submitted via the Computer Science PhD programme page. In place of a research proposal you should upload a document stating the title of the projects (up to 2) that you wish to apply for and the name(s) of the relevant supervisor. You must upload your full CV and any transcripts of previous academic qualifications. You should enter ’Faculty Funded Competition’ under funding type.

Funding

The studentship will provide a stipend at UKRI rates (currently £17,668 for 2022/23) and tuition fees for 3.5 years. An additional bursary of £1700 per annum for the duration of the studentship will be offered to exceptional candidates.