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