Download malware? no, thanks: how formal methods can block update attacks
drebin : efficient and explainable detection of android malware in your pocket .