1. DREBIN: effective and explainable detection of android malware in your pocket;Arp,2014
2. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps;Arzt,2014
3. Utilising K semantics for collusion detection in android applications;Asavoae,2016
4. “Software model checking: a promising approach to verify mobile app security: a position paper;Asavoae,2017
5. Pscout: analyzing the android permission specification;Au,2012