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

In diesem Projekt im Rahmen des DFG Schwerpunktprogramms 1496 Reliably Secure Software Systems erforschen wir, wie Android Apps aus nicht vertrauenswürdigen Quellen durch das Erzwingen von Sicherheitsrichtlinien mittels einer Kombination von statischen und dynamischen Techniken abgesichert werden können, ohne dass eine Modifikation der Android Plattform notwendig ist. In anderen Worten: diese Technik sollte auf jeder Standard-Android-Plattform funktionieren.