Are you applying to universities? | SHARE YOUR EXPERIENCE Are you applying to universities? | SHARE YOUR EXPERIENCE

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

Click here to search for PhD studentship opportunities
  Dr Jorge BlascoAlis, Dr Santanu Dash  No more applications being accepted  Competition Funded PhD Project (Students Worldwide)

About the Project

Popular libraries grow rapidly in size while catering to diverse client software. A recent study of 11 versions of the Android Operating System showed that its Application Programming Interface (API) has grown ten-fold in a decade. This puts a huge cognitive load on developers and they tend to defer upgrading their code to use newer versions. Alarmingly, it is not unusual for developers to continue to use versions that are vulnerable.

To build sustainable and secure software systems, client software needs to be synchronised automatically with libraries. In the SELES project, we will develop a novel approach to software upgrade which integrates directives for human developers into formal frameworks for program synthesis, generation and repair. We will use library documentation to guide frameworks for reasoning and auto-transformation of software. We will leverage recent advances in symbolic and data-driven software analysis for this. The outputs from SELES will be used to automatically upgrade Android apps by using the outputs as plugins in build systems and static analysis tools for Android. 

SELES requires an understanding of Static Analysis and/or Compilers. Previous experience with the Android ecosystem, Natural Language Processing or Machine Learning would be beneficial but not essential. This project will be supervised by Dr. Santanu Dash and Dr. Jorge Blasco Alis. It will be in collaboration with the Software System Engineering Group at University College London. Please email [Email Address Removed] for initial discussions or queries.

SELES complements existing work in S3Lab ( within the Information Security Group at Royal Holloway. S3Lab has an established track record of producing world-leading research outputs in Systems Security, with publications in flagship venues for both Software Security and Software Engineering. We are proud of our alumni who hold important positions in both academic and industrial research. Come join us for a chance to do impactful research.

Funding Notes

The Centre for Doctoral Training in Cyber Security for the Everyday can offer up to ten studentships per year, three of which can be awarded to international students (which includes EU and EEA.)
Please ensure you are familiar with the eligibility criteria set by UKRI and their terms and conditions.
In order to apply please visit the CDT website and follow the application instructions.
The studentship includes
* Tuition fees:
* Maintenance: £21,285 for each academic year.
Search Suggestions
Search suggestions

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

PhD saved successfully
View saved PhDs