Work

Model Checking for Mobile Android Malware Evolution

Year: 2017

Type: conference-paper

Source: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1109/formalise.2017.4

Authors: Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Institutions: University of Sannio, Institute of Informatics and Telematics, National Research Council, University of Pisa

Language: English

Topic: Advanced Malware Detection Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4237049557

FWCI: 1.636

Cites: 23

Cited by: 21

Related to: 10