FREE Virtual Study Fair | 1 - 2 March | REGISTER NOW FREE Virtual Study Fair | 1 - 2 March | REGISTER NOW

Opacity of real-time systems: Verification and enforcement


   Faculty of Engineering and Physical Sciences

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)

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.

Search Suggestions
Search suggestions

Based on your current searches we recommend the following search filters.

PhD saved successfully
View saved PhDs