Login / Signup
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Yu Feng
Osbert Bastani
Ruben Martins
Isil Dillig
Saswat Anand
Published in:
NDSS (2017)
Keyphrases
</>
maximum satisfiability
max sat
domain specific
boolean satisfiability