COVERT: Compositional Analysis of Android Inter-App Permission Leakage
SCanDroid: Automated Security Certification of Android Applications