Login / Signup
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Yu Feng
Osbert Bastani
Ruben Martins
Isil Dillig
Saswat Anand
Published in:
CoRR (2016)
Keyphrases
</>
maximum satisfiability
boolean satisfiability
malware detection
anti virus
domain independent
domain specific