The Android operating system has been dominating the smart devices market in recent years. Smart home devices are populating our houses and smartphones are indispensable companions in daily life activities. In such a technological environment, the amount of data and user information shared across these devices is enormous and attractive for every malicious user. Consequently, developing good malware detection techniques is a crucial open problem to keep using these devices safely. This paper proposes the application of a formal methods based approach to detect banking malware in the Android environment. The experimental results are really promising, as demonstrated by the evaluation on real-world Android applications, where we reached precision and recall equal to 1.

Formal Methods for Android Banking Malware Analysis and Detection

Mercaldo F.;Santone A.
2019

Abstract

The Android operating system has been dominating the smart devices market in recent years. Smart home devices are populating our houses and smartphones are indispensable companions in daily life activities. In such a technological environment, the amount of data and user information shared across these devices is enormous and attractive for every malicious user. Consequently, developing good malware detection techniques is a crucial open problem to keep using these devices safely. This paper proposes the application of a formal methods based approach to detect banking malware in the Android environment. The experimental results are really promising, as demonstrated by the evaluation on real-world Android applications, where we reached precision and recall equal to 1.
978-1-7281-2949-5
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11695/91278
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 6
social impact