How Discover a Malware using Model Checking

Type: 
Conference
Authors: 
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
URL: 
http://www.iit.cnr.it/sites/default/files/p902-martinelli_0.pdf
Conference: 
ACM Asia Conference on Computer and Communications Security (ASIACCS)
Date: 
Sunday, 2 April, 2017 to Thursday, 6 April, 2017