Download malware? no, thanks: how formal methods can block update attacks
Execute This! Analyzing Unsafe and Malicious Dynamic Code Loading in Android Applications