Download malware? no, thanks: how formal methods can block update attacks
Systematic Detection of Capability Leaks in Stock Android Smartphones.