Login / Signup
Program Synthesis-based Simplification of MBA Obfuscated Malware with Restart Strategies.
Seoyeon Kang
Jeongwoo Kim
Eun-Sun Cho
Seokwoo Choi
Published in:
Checkmate@CCS (2022)
Keyphrases
</>
program synthesis
reverse engineering
random walk
malicious code
database
inductive logic programming
recursive programs
multiresolution
pairwise
software engineering
general purpose
static analysis
malware detection