TY  - RPRT
TI  - Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
AU  - Yu Feng
AU  - Osbert Bastani
AU  - Ruben Martins
AU  - Isil Dillig
AU  - Saswat Anand
PY  - 2017
UR  - https://arxiv.org/abs/1608.06254
ID  - 1608.06254
ER  -