INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis

In this project within the DFG Priority Program 1496 Reliably Secure Software Systems we research how Android apps of untrusted sources can be secured by enforcing security policies through a combination of static and dynamic techniques, without requiring any modifications to the Android platform. In other words, the technique should run on any stock Android platform.

Funded by: DFG, 2014-2016