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
School of Computing and Electrical Engineering
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.
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.