Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand

Browse the full NDSS paper archive.