Seong-Kyun Mok

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Program Synthesis

Dynamic Analysis

Hamming Distance

Top Venues

Publications

Seong-Kyun Mok, Eun-Sun Cho
L4 Pointer: An efficient pointer extension for spatial memory safety support without hardware extension. CoRR (2023)
Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho, Seokwoo Choi
SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis. CoRR (2022)
Seoyeon Kang, Sujeong Lee, Yumin Kim, Seong-Kyun Mok, Eun-Sun Cho
OBFUS: An Obfuscation Tool for Software Copyright and Vulnerability Protection. CODASPY (2021)
Seong-Kyun Mok, Eun-Sun Cho
TraceFilter: An Exploitability Analyzer of Vulnerabilities in Binary Code. DASC/PiCom/DataCom/CyberSciTech (2019)
Seong-Kyun Mok, Eun-Sun Cho
Building a CFG to Include Exceptions. COMPSAC (1) (2018)
Hyeon-Gu Jeon, Seong-Kyun Mok, Eun-Sun Cho
Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes. COMPSAC (1) (2017)
Ki-Jin Eom, Joon-Young Paik, Seong-Kyun Mok, Hyeon-Gu Jeon, Eun-Sun Cho, Dong-Woo Kim, Jaecheol Ryu
Automated Crash Filtering for ARM Binary Programs. COMPSAC (2015)