Analysis of Android Inter-App Security Vulnerabilities Using COVERT. - Sadeghi, Alireza; Bagheri, Hamid; Malek, Sam (ICSE: International Conference on Software Engineering, 2015)