Home » R&I Project Hub » CyberSANE » Project White Papers » Colluding Android Apps Detection via Model Checking

Colluding Android Apps Detection via Model Checking


Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone


Workshops of the International Conference on Advanced Information Networking and Applications
WAINA 2020: Web, Artificial Intelligence and Network Applications pp 776-786



The application collusion attack is a new form of threat that is becoming widespread in mobile environment. This technique requires that two or more apps cooperate in some way with the aim to perform a malicious action that they are unable to perform independently. In this paper we present a method exploiting the model checking technique aimed to detect whether two or more apps are performing a collusion attack. We also propose a heuristic function able to reduce the number of the analyzed apps and to localize the collusion. The preliminary investigation has brought very promising results.

Publication Date: