How Discover a Malware using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone. How Discover a Malware using Model Checking. In Ramesh Karri, Ozgur Sinanoglu, Ahmad-Reza Sadeghi, Xun Yi, editors, Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6, 2017. pages 902-904, ACM, 2017. [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 Google

runs on WebDSL