Bypassing Malware Obfuscation with Dynamic Synthesis

International audienceBlack-box synthesis is more efficient than SMT deobfuscation on predicates obfuscated with Mixed-Boolean Arithmetics

Bypassing Malware Obfuscation with Dynamic Synthesis

International audienceBlack-box synthesis is more efficient than SMT deobfuscation on predicates obfuscated with Mixed-Boolean Arithmetics