Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini. Model Checking to Detect the Hummingbad Malware. In Igor V. Kotenko, Costin Badica, Vasily Desnitsky, Didier El Baz, Mirjana Ivanovic, editors, Intelligent Distributed Computing XIII, 13th International Symposium on Intelligent Distributed Computing, IDC 2019, St. Petersburg, Russia, 7-9 October, 2019. Volume 868 of Studies in Computational Intelligence, pages 485-494, Springer, 2019. [doi]
Abstract is missing.