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]
Abstract is missing.