Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis
A lattice model of secure information flow