Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability

Article Details
Title:	Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Article URLs:	https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/automated-synthesis-semantic-malware-signatures-using-maximum-satisfiability/
Alternative Article URLs:
Authors:	Yu Feng	University of Texas at Austin
	Osbert Bastani	Stanford University
	Ruben Martins	University of Texas at Austin
	Isil Dillig	University of Texas at Austin
	Saswat Anand	Google, Inc.
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://utopia-group.github.io/astroid/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1453386
DBLP Key:	conf/ndss/FengBMDA17
Author Comments:

Network and Distributed System Security Symposium, NDSS 2017