Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
drebin : efficient and explainable detection of android malware in your pocket .