LEILA: Formal Tool for Identifying Mobile Malicious Behaviour

摘要: With the increasing diffusion of mobile technologies, nowadays devices represent an irreplaceable tool to perform several operations, from posting a status on social network transfer money between bank accounts. As consequence, store huge amount private and sensitive information this is reason why attackers are developing very sophisticated techniques extort data our devices. This paper presents design implementation LEILA (formaL for idEntifying mobIle maLicious behAviour), targeted at Android malware families detection. based novel approach that exploits model checking analyse verify Java Bytecode produced when source code compiled. After thorough description method used detection, we report experiments have conducted using LEILA. The demonstrated effective in detecting malicious behaviour and, especially, localizing payload within code: evaluated real-world belonging widespread obtaining accuracy ranging 0.97 1.