Automated Dynamic Enforcement of Synthesized Security Policies in Android
Systematic Detection of Capability Leaks in Stock Android Smartphones.