How Discover a Malware using Model Checking
Posted by ilaria.matteucci on Tuesday, 27 February 2018
Type:
Conference
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