[C9] Towards Sound Reassembly of Modern x86-64 Binaries
Hyungseok Kim, Soomin Kim, and Sang Kil Cha
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025
[C8] AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Hyungseok Kim, Soomin Kim, Jungwoo Lee, and Sang Kil Cha
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024
[C7] FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Soomin Kim, Hyungseok Kim, and Sang Kil Cha
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023
[C6] Reassembly is Hard: A Reflection on Challenges and Strategies
Hyungseok Kim, Soomin Kim, Junoh Lee, Kangkook Jee, and Sang Kil Cha
USENIX Security Symposium (Security), 2023
[C5] Fuzzle: Making a Puzzle for Fuzzers
Haeun Lee, Soomin Kim, and Sang Kil Cha
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022
[C4] How'd Security Benefit Reverse Engineers? The Implication of Intel CET on Function Identification
Hyungseok Kim, Junoh Lee, Soomin Kim, Seungil Jung, and Sang Kil Cha
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022
[C3] SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021
[C2] Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference
Valentin J.M. Manès, Soomin Kim, and Sang Kil Cha
IEEE/ACM International Conference on Software Engineering (ICSE), 2020
[C1] Testing Intermediate Representations for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
[W2] EVMpress: Precise Type Inference for Next-Generation EVM Decompilation
Jung Hyun Kim, Soomin Kim, Jaeseung Choi, and Sang Kil Cha
International Workshop on Cryptocurrencies and Blockchain Technology (CBT), 2025
[W1] B2R2: Building an Efficient Front-End for Binary Analysis
Minkyu Jung, Soomin Kim, HyungSeok Han, Jaeseung Choi, and Sang Kil Cha
Workshop on Binary Analysis Research (BAR), 2018
[D1] Design for the Recovery of Control Flow Graph on EVM bytecode
Seungil Jung, Jaeseung Choi, and Soomin Kim
Korea Computer Congress (KCC), 2022
[T2] Enhancing the Correctness of Machine Code Translator using Differential Testing
Soomin Kim
Ph.D. Thesis, 2024
Advisor: Sang Kil Cha
Thesis Committee: Jun Han, Min Suk Kang, JongHyup Lee, Jooyoung Lee
[T1] Testing Intermediate Representation for Binary Analysis
Soomin Kim
M.s. Thesis, 2017
Advisor: Sang Kil Cha
Thesis Committee: Sukyoung Ryu, Sooel Son