Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Journal title: Applied Sciences

Journal number: 10/22

Journal publisher: MDPI - Applied Science 2020 - Special Issue Cybersecurity

Published year: 2020

Published pages: 7975

DOI identifier: 10.3390/app10227975

ISSN: 2076-3417