University College London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
University of Kent Featured PhD Programmes
European Molecular Biology Laboratory (Heidelberg) Featured PhD Programmes

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

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

Click here to search for PhD studentship opportunities
  • Full or part time
    Dr LC Cordeiro
  • 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 The 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

FindAPhD. Copyright 2005-2019
All rights reserved.