App Collusion Detection

Malicious apps aimed at smart phones have grown quickly particularly for the Android platform. Smart phone operating systems have defences in place, .e.g., every app must be digitally signed by its developer, and apps are restricted to
permissions granted by the user. However, two or more apps may possible act together to carry out actions exceeding their individual permissions. This project aims to develop novel theoretical and practical methods to detect apps suspected of collusion and perform formal safety checking.