Android Malware: Detection, Characterization, and Mitigation