Back to search results

PhD Studentship - Security and Privacy in Intelligent Transport Systems

University of Surrey

Qualification Type: PhD
Location: Guildford
Funding for: UK Students, EU Students
Funding amount: £16,000 Per annum
Hours: Full Time
Placed On: 9th November 2018
Closes: 31st December 2018
Reference: 068817-R
 

Intelligent Transport Systems Security

Duration of studentship: This is a 3 year Studentship, covering UK /EU University fees only, with a Stipend/living allowance of £16,000 per annum 

Stipend: A stipend of £16,000 per annum, tax free, subject to nationality and residence status (see below)

Vacancy Information:

The student will be co-supervised by Dr David M. Williams and Prof Steve Schneider. Their research interests include modelling and verification of security protocols, formal methods, transport systems security, secure electronic voting and blockchain and distributed ledger technologies.

Studentship Description:

Intelligent Mobility aims to increase the safety and efficiency of transporting people and goods by utilizing advances in ICT. As we develop ever more complex and integrated transport systems that must keep us safe on our journeys, we must ensure that are computer systems and digital infrastructure are trusted to remain secure even in the presence of threat agents wishing to cause harm. Key to realizing the benefits of intelligent transport systems is the standardization of communication and security protocols between ICT components.

Formal verification, using a rigorous mathematical approach to confirm that a system satisfies specific requirements, is used to provide strong evidence of the correctness of safety and security critical systems. Security protocols, specified sequences of interactions between communicating processes to achieve certain security related goals, have been a particularly fruitful application area for formal verification; many security flaws and vulnerabilities have been identified using formal methods.

In this project, the student will, in collaboration with supervisors and a growing team of researchers, investigate formally the correctness, security and privacy of novel communication protocols proposed for the interaction between various system components within intelligent transport systems. The project aims to identify weaknesses as the result of ambiguous, incomplete or inconsistent specifications and propose improvements to ensure the protocols satisfy their specified requirements. This will involve understanding and formalising the security properties of such protocols, understanding and formalizing the behaviour of the protocol participants as specified in academic and industry standards, construction of appropriate threat models and the application of tools and techniques to conduct the subsequent formal verification.

Application: Please click ‘Apply’ at: http://www.surrey.ac.uk/postgraduate/computer-science-phd.

Please prepare to submit your CV; degree certificates and transcripts; names of 2 referees (ideally uploading 2 references at time of application also); cover letter explaining your interests, computer-science and research experience (including examples of previous project work).

Contact name/email (for enquiries): Dr David M. Williams, d.m.williams@surrey.ac.uk, 01483 682646.

   
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

PhD tools
 
 
 
 
More PhDs from University of Surrey

Show all PhDs for this organisation …

More PhDs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge