Soomin Kim

Orcid: 0000-0003-3129-3857

Affiliations:
  • Korea Advanced Institute of Science and Technology (KAIST), Software Security Laboratory, Daejeon, South Korea


According to our database1, Soomin Kim authored at least 10 papers between 2017 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
EVMpress: Precise Type Inference for Next-Generation EVM Decompilation.
Proceedings of the Computer Security. ESORICS 2025 International Workshops, 2025

Towards Sound Reassembly of Modern x86-64 Binaries.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023
Reassembly is Hard: A Reflection on Challenges and Strategies.
Proceedings of the 32nd USENIX Security Symposium, 2023

FunProbe: Probing Functions from Binary Code through Probabilistic Analysis.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022
Fuzzle: Making a Puzzle for Fuzzers.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

How'd Security Benefit Reverse Engineers? : The Implication of Intel CET on Function Identification.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
Ankou: guiding grey-box fuzzing towards combinatorial difference.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2017
Testing intermediate representations for binary analysis.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017


  Loading...