Testing intermediate representations for binary analysis. - Soomin Kim 002; Markus Faerevaag; Minkyu Jung; Seungil Jung; DongYeop Oh; JongHyup Lee; Sang Kil Cha (ASE, 2017)

Ankou: guiding grey-box fuzzing towards combinatorial difference. - Valentin J. M. Manès; Soomin Kim 002; Sang Kil Cha (ICSE, 2020)

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. - Jaeseung Choi 002; Doyeon Kim; Soomin Kim 002; Gustavo Grieco; Alex Groce; Sang Kil Cha (ASE, 2021)

How'd Security Benefit Reverse Engineers? : The Implication of Intel CET on Function Identification. - Hyungseok Kim 002; Junoh Lee; Soomin Kim 002; Seungil Jung; Sang Kil Cha (DSN, 2022)

Fuzzle: Making a Puzzle for Fuzzers. - Haeun Lee; Soomin Kim 002; Sang Kil Cha (ASE, 2022)

FunProbe: Probing Functions from Binary Code through Probabilistic Analysis. - Soomin Kim 002; Hyungseok Kim 002; Sang Kil Cha (ESEC/SIGSOFT FSE, 2023)

Reassembly is Hard: A Reflection on Challenges and Strategies. - Hyungseok Kim 002; Soomin Kim 002; Junoh Lee; Kangkook Jee; Sang Kil Cha (USENIX Security Symposium, 2023)

AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference. - Hyungseok Kim 002; Soomin Kim 002; Jungwoo Lee; Sang Kil Cha (ISSTA, 2024)

Towards Sound Reassembly of Modern x86-64 Binaries. - Hyungseok Kim 002; Soomin Kim 002; Sang Kil Cha (ASPLOS (2), 2025)