Postgrad LIVE! Study Fairs

Southampton | Bristol

University of Manchester Featured PhD Programmes
University of Huddersfield Featured PhD Programmes
Anglia Ruskin University Featured PhD Programmes
University of Kent Featured PhD Programmes
University of Reading Featured PhD Programmes

Verifying Cyber-attacks in CUDA Deep Neural Networks for Self-Driving Cars

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Funded PhD Project (Students Worldwide)
    Funded PhD Project (Students Worldwide)

Project Description

Compute Unified Device Architecture (CUDA) is a parallel computing platform and Application Programming Interface (API) model created by NVIDIA, which extends C/C++ and Fortran, in order to create a computational model that aims to harness the computational power of Graphical Processing Units (GPUs). Recent NVIDIA GPUs offer highly tuned implementations for typical routines required by Deep Neural Networks (DNNs), e.g., forward and backward convolution, pooling, normalisation, and activation layers, which lead to a prospect of a wide-scale deployment of such networks for perception modules and end-to-end controllers for self-driving cars. However, this wide-scale deployment also raises additional research questions of how the GPU software can be verified, validated and certified to meet standard requirements of safety-critical applications, especially when those applications are connected to the internet and thus subject to adversarial perturbations. As a result, the main goals of this PhD research are: (1) analyse and develop a deeper understanding of CUDA DNNs to capture main properties of interest to establish a secure and safety operation of CUDA DNNs; (2) model the CUDA DNN library by taking into account aspects of security and safety; and then (3) verify realistic applications of self-driving cars that rely on such library, using explicit-state and symbolic model checking techniques to prevent possible cyber threats/attacks.

How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2019
All rights reserved.