Automated Crash Filtering for ARM Binary Programs. - Ki-Jin Eom; Joon-Young Paik; Seong-Kyun Mok; Hyeon-Gu Jeon; Eun-Sun Cho; Dong-Woo Kim; Jaecheol Ryu (COMPSAC, 2015)

Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes. - Hyeon-Gu Jeon; Seong-Kyun Mok; Eun-Sun Cho (COMPSAC (1), 2017)

Building a CFG to Include Exceptions. - Seong-Kyun Mok; Eun-Sun Cho (COMPSAC (1), 2018)

TraceFilter: An Exploitability Analyzer of Vulnerabilities in Binary Code. - Seong-Kyun Mok; Eun-Sun Cho (DASC/PiCom/DataCom/CyberSciTech, 2019)

OBFUS: An Obfuscation Tool for Software Copyright and Vulnerability Protection. - Seoyeon Kang; Sujeong Lee; Yumin Kim; Seong-Kyun Mok; Eun-Sun Cho (CODASPY, 2021)

SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis. - Seong-Kyun Mok; Seoyeon Kang; Jeongwoo Kim; Eun-Sun Cho; Seokwoo Choi (CoRR, 2022)

L4 Pointer: An efficient pointer extension for spatial memory safety support without hardware extension. - Seong-Kyun Mok; Eun-Sun Cho (CoRR, 2023)