Seoyeon Kang Jeongwoo Kim Eun-Sun Cho Seokwoo Choi Program Synthesis-based Simplification of MBA Obfuscated Malware with Restart Strategies. 13-18 2022 Checkmate@CCS https://doi.org/10.1145/3560831.3564258 conf/ccs/2022checkmate db/conf/ccs/checkmate2022.html#KangKCC22