Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone. Formal Methods for Android Banking Malware Analysis and Detection. In Mohammad A. Alsmirat, Yaser Jararweh, editors, Sixth International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2019, Granada, Spain, October 22-25, 2019. pages 331-336, IEEE, 2019. [doi]
@inproceedings{IadarolaMMS19,
title = {Formal Methods for Android Banking Malware Analysis and Detection},
author = {Giacomo Iadarola and Fabio Martinelli and Francesco Mercaldo and Antonella Santone},
year = {2019},
doi = {10.1109/IOTSMS48152.2019.8939172},
url = {https://doi.org/10.1109/IOTSMS48152.2019.8939172},
researchr = {https://researchr.org/publication/IadarolaMMS19},
cites = {0},
citedby = {0},
pages = {331-336},
booktitle = {Sixth International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2019, Granada, Spain, October 22-25, 2019},
editor = {Mohammad A. Alsmirat and Yaser Jararweh},
publisher = {IEEE},
isbn = {978-1-7281-2949-5},
}