SPP 1496: Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme, TP: INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis
Overview
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.
Key Facts
- Grant Number:
- Project type:
- Sonstiger Zweck
- Project duration:
- 01/2014 - 12/2016
- Funded by:
- Deutsche Forschungsgemeinschaft (DFG)
