Project List

[Taken] Building Data Provenance from Database Log Files

Databases are integral part of any organisations operations. They act as storage repositories for large set of data that the respective organisation relies upon for their efficient operations. One of the commonly deployed and open source database application is MySQL. It collects and store a large set of log files (this is a rich user/data … full description “[Taken] Building Data Provenance from Database Log Files”

[Taken] Building enforceable Data Policies from End User Agreements

When we register with any online or digital services, we sign an end user agreement. Such agreements detail how a company will collect, store and use the data related to the end users. These agreements are long and users don’t have time to read them thoroughly. However, these agreements are a rich source of material … full description “[Taken] Building enforceable Data Policies from End User Agreements”

[Taken] Detecting broken security in hybrid Android apps

Many modern Android applications make use of a webview – a component providing easy access to the rendering engine and JavaScript interpreter of a full browser. The content shown by a webview can be loaded from a local resource or a remote server via HTTP and integrates seamlessly with the app. Webviews are popular with developers, … full description “[Taken] Detecting broken security in hybrid Android apps”

[Taken] Disassembling x86 binaries for static analysis and reverse engineering

The Jakstab static analyser for binaries automatically disassembles x86 binaries for Windows or Linux and reconstructs a control flow graph. It is particularly effective on targets that have been obfuscated with various tricks that throw off regular disassemblers such as IDA Pro. Jakstab disassembles one instruction at a time, translates it into an intermediate language, and then … full description “[Taken] Disassembling x86 binaries for static analysis and reverse engineering”

[Taken] Eclipse plugin for the ART parser generator

The ART parser generator is one of a new breed of compiler generation tools which provides efficient generalised parsing. This means that language designers have complete freedom to specify syntax in a way that supports downstream processes rather than having to shoehorn their ideas into the constraints imposed by current near-deterministic parser generators like Bison … full description “[Taken] Eclipse plugin for the ART parser generator”

[Taken] Entry into the PACE Parameterized Algorithms and Computational Experiments Challenge

Parameterized Complexity is a research field that, by its own self-description, strives to provide practical, yet theoretically well-founded ways to deal with computationally hard problems (e.g., so-called NP-hard problems). However, the vast majority of the work in the field is purely theoretical — there is a great toolbox of interesting and powerful algorithmic methods, which have been proven to have … full description “[Taken] Entry into the PACE Parameterized Algorithms and Computational Experiments Challenge”

[Taken] Improving Automatic Bug Detection in JavaScript

Dynamic symbolic execution (DSE) is an effective tool for bug detection in real software. Like unit testing and fuzzing DSE executes portions of a program, exposing bugs through runtime program exceptions. In DSE, some inputs to the program under test are made “symbolic” while the rest are fixed. Whenever the symbolic execution encounters a conditional operation … full description “[Taken] Improving Automatic Bug Detection in JavaScript”

[Taken] Minimising gene sets through querying ontologies in published literature

The aim of this project is to build a tool that will determine sets of genes  that have a high priority of being associated with a specific Biological process. Molecular Biology is now generating colossal amounts of data. In particular, there are a variety of technologies that can scan entire genomes or transcriptomes and determine … full description “[Taken] Minimising gene sets through querying ontologies in published literature”

[Taken] Mobile Application Activity Tracking (Mobile Application Provenance)

A large set of services are being offered to end users via smartphone Apps. These applications provide a conduit to information and relevant services that end user may desire. In addition to provide valuable services to the consumers, these Apps also have an access to a wealth of data about an individual. In most cases, … full description “[Taken] Mobile Application Activity Tracking (Mobile Application Provenance)”

[Taken] Predicting Debug Symbols for Closed Source Binaries

Reverse engineering binaries, whether malicious or benign, is made more difficult by the absence of debug information. Variables and functions have had their identifiers “stripped”, so reverse engineers have to manually name them during analysis based on human understanding of the code functionality. The goal of this project is to use machine learning to predict … full description “[Taken] Predicting Debug Symbols for Closed Source Binaries”

[Taken] REST API and web frontend for a JavaScript symbolic testing framework

ExpoSE.js is a symbolic testing framework being developed at Royal Holloway designed to assist developers in improving the security and reliability of JavaScript applications, a language for which traditional software testing solutions have failed to produce satisfactory results. Symbolic execution is a technique which allows for the systematic enumeration of feasible paths of a program. … full description “[Taken] REST API and web frontend for a JavaScript symbolic testing framework”

[Taken] Smart IDE for Cascading Style Sheets in Web Development

You will construct an experimental IDE to aid programmers in writing Cascading Style Sheets (CSS) for web applications. Style sheets dictate how a web page appears, and consist of a series of rules which are applied to elements of the web page. Determining exactly which rule should be applied to which element is not entirely … full description “[Taken] Smart IDE for Cascading Style Sheets in Web Development”