Model Checking to Detect the Hummingbad Malware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Fabio Martinelli' in GoogleThis author has not been identified. Look up 'Francesco Mercaldo' in GoogleThis author has not been identified. Look up 'Vittoria Nardone' in GoogleThis author has not been identified. Look up 'Antonella Santone' in GoogleThis author has not been identified. Look up 'Gigliola Vaglini' in Google

runs on WebDSL