loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Pasquale Battista ; Francesco Mercaldo ; Vittoria Nardone ; Antonella Santone and Corrado Aaron Visaggio

Affiliation: University of Sannio, Italy

Keyword(s): Malware, Android, Security, Formal Methods, Process Algebras.

Abstract: Android malware is increasing more and more in complexity. Current signature based antimalware mechanisms are not able to detect zero-day attacks, also trivial code transformations may evade detection. Malware writers usually add functionality to existing malware or merge different pieces of malware code: this is the reason why Android malware is grouped into families, i.e., every family has in common the malicious behavior. In this paper we present a model checking based approach in detecting Android malware families by means of analysing and verifying the Java Bytecode that is produced when the source code is compiled. A preliminary investigation has been also conducted to assess the validity of the proposed approach.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.145.196.150

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Battista, P.; Mercaldo, F.; Nardone, V.; Santone, A. and Visaggio, C. (2016). Identification of Android Malware Families with Model Checking. In Proceedings of the 2nd International Conference on Information Systems Security and Privacy - ICISSP; ISBN 978-989-758-167-0; ISSN 2184-4356, SciTePress, pages 542-547. DOI: 10.5220/0005809205420547

@conference{icissp16,
author={Pasquale Battista. and Francesco Mercaldo. and Vittoria Nardone. and Antonella Santone. and Corrado Aaron Visaggio.},
title={Identification of Android Malware Families with Model Checking},
booktitle={Proceedings of the 2nd International Conference on Information Systems Security and Privacy - ICISSP},
year={2016},
pages={542-547},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005809205420547},
isbn={978-989-758-167-0},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Information Systems Security and Privacy - ICISSP
TI - Identification of Android Malware Families with Model Checking
SN - 978-989-758-167-0
IS - 2184-4356
AU - Battista, P.
AU - Mercaldo, F.
AU - Nardone, V.
AU - Santone, A.
AU - Visaggio, C.
PY - 2016
SP - 542
EP - 547
DO - 10.5220/0005809205420547
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic