Publications

2025

1. Intl. Workshop

   EVMpress: Precise Type Inference for Next-Generation EVM Decompilation

   Jung Hyun Kim, Soomin Kim, Jaeseung Choi, and 1 more author

   In Proceedings of the International Workshop on Cryptocurrencies and Blockchain Technology, 2025

   Bib PDF

   @inproceedings{kim:cbt:2025,
     author = {Kim, Jung Hyun and Kim, Soomin and Choi, Jaeseung and Cha, Sang Kil},
     title = {{EVMpress}: Precise Type Inference for Next-Generation EVM Decompilation},
     booktitle = {Proceedings of the International Workshop on Cryptocurrencies and Blockchain Technology},
     year = {2025}
   }

2. Intl. Conf.

   Top-tier

   Towards Sound Reassembly of Modern x86-64 Binaries

   Hyungseok Kim, Soomin Kim, and Sang Kil Cha

   In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

   DOI Bib PDF

   @inproceedings{kim:asplos:2025,
     author = {Kim, Hyungseok and Kim, Soomin and Cha, Sang Kil},
     title = {Towards Sound Reassembly of Modern x86-64 Binaries},
     booktitle = {Proceedings of the {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems},
     doi = {10.1145/3676641.3716026},
     year = {2025}
   }

2024

1. Intl. Conf.

   Top-tier

   AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference

   Hyungseok Kim, Soomin Kim, Jungwoo Lee, and 1 more author

   In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

   ACM SIGSOFT Distinguished Paper Award DOI Bib PDF

   We are honored to receive the ACM SIGSOFT Distinguished Paper Award for this paper!

   @inproceedings{kim:issta:2024,
     author = {Kim, Hyungseok and Kim, Soomin and Lee, Jungwoo and Cha, Sang Kil},
     title = {{AsFuzzer}: Differential Testing of Assemblers with Error-Driven Grammar Inference},
     booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis},
     doi = {10.1145/3650212.3680345},
     year = {2024}
   }

2023

1. Intl. Conf.

   Top-tier

   FunProbe: Probing Functions from Binary Code through Probabilistic Analysis

   Soomin Kim, Hyungseok Kim, and Sang Kil Cha

   In Proceedings of the ACM International Conference on the Foundations of Software Engineering, 2023

   DOI Bib PDF

   @inproceedings{kim:fse:2023,
     author = {Kim, Soomin and Kim, Hyungseok and Cha, Sang Kil},
     title = {{FunProbe}: Probing Functions from Binary Code through Probabilistic Analysis},
     booktitle = {Proceedings of the {ACM} International Conference on the Foundations of Software Engineering},
     doi = {10.1145/3611643.3616366},
     year = {2023}
   }

2. Intl. Conf.

   Top-tier

   Reassembly is Hard: A Reflection on Challenges and Strategies

   Hyungseok Kim, Soomin Kim, Junoh Lee, and 2 more authors

   In Proceedings of the USENIX Conference on Security Symposium, 2023

   DOI Bib PDF

   @inproceedings{kim:reassessor:usec:2023,
     author = {Kim, Hyungseok and Kim, Soomin and Lee, Junoh and Jee, Kangkook and Cha, Sang Kil},
     title = {Reassembly is Hard: A Reflection on Challenges and Strategies},
     booktitle = {Proceedings of the {USENIX} Conference on Security Symposium},
     doi = {10.5555/3620237.3620320},
     year = {2023}
   }

2022

1. Dom. Conf.

   Design for the Recovery of Control Flow Grasph on EVM bytecode

   SeungIl Jung, Jaeseung Choi, and Soomin Kim

   In Proceedings of the Korea Computer Congress, 2022

   Bib PDF

   @inproceedings{jung:kcc:2022,
     author = {Jung, Seung{I}l and Choi, Jaeseung and Kim, Soomin},
     title = {Design for the Recovery of Control Flow Grasph on EVM bytecode},
     booktitle = {Proceedings of the Korea Computer Congress},
     year = {2022}
   }

2. Intl. Conf.

   Top-tier

   Fuzzle: Making a Puzzle for Fuzzers

   Haeun Lee, Soomin Kim, and Sang Kil Cha

   In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2022

   ACM SIGSOFT Distinguished Paper Award DOI Bib PDF

   We are honored to receive the ACM SIGSOFT Distinguished Paper Award for this paper!

   @inproceedings{lee:ase:2022,
     author = {Lee, Haeun and Kim, Soomin and Cha, Sang Kil},
     title = {Fuzzle: Making a Puzzle for Fuzzers},
     booktitle = {Proceedings of the {IEEE/ACM} International Conference on Automated Software Engineering},
     doi = {10.1145/3551349.3556908},
     year = {2022}
   }

3. Intl. Conf.

   How’d Security Benefit Reverse Engineers?: The Implication of Intel CET on Function Identification

   Hyungseok Kim, Junoh Lee, Soomin Kim, and 2 more authors

   In Proceedings of the Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

   DOI Bib PDF

   @inproceedings{kim:dsn:2022,
     author = {Kim, Hyungseok and Lee, Junoh and Kim, Soomin and Jung, Seung{I}l and Cha, Sang Kil},
     title = {How'd Security Benefit Reverse Engineers?: The Implication of Intel {CET} on Function Identification},
     booktitle = {Proceedings of the Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks},
     doi = {10.1109/DSN53405.2022.00061},
     year = {2022}
   }

2021

1. Intl. Conf.

   Top-tier

   SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

   Jaeseung Choi, Doyeon Kim, Soomin Kim, and 3 more authors

   In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2021

   DOI Bib PDF

   @inproceedings{choi:ase:2021,
     author = {Choi, Jaeseung and Kim, Doyeon and Kim, Soomin and Grieco, Gustavo and Groce, Alex and Cha, Sang Kil},
     title = {{SMARTIAN}: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses},
     booktitle = {Proceedings of the {IEEE/ACM} International Conference on Automated Software Engineering},
     doi = {10.1109/ASE51524.2021.9678888},
     year = {2021}
   }

2020

1. Intl. Conf.

   Top-tier

   Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference

   Valentin J.M. Manès, Soomin Kim, and Sang Kil Cha

   In Proceedings of the IEEE/ACM International Conference on Software Engineering, 2020

   DOI Bib PDF

   @inproceedings{manes:icse:2020,
     author = {Man{\`e}s, Valentin {J.M.} and Kim, Soomin and Cha, Sang Kil},
     title = {Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference},
     booktitle = {Proceedings of the {IEEE/ACM} International Conference on Software Engineering},
     doi = {10.1145/3377811.3380421},
     year = {2020}
   }

2019

1. Intl. Workshop

   B2R2: Building an Efficient Front-End for Binary Analysis

   Minkyu Jung, Soomin Kim, Jaeseung Choi, and 1 more author

   In Proceedings of the Workshop on Binary Analysis Research, 2019

   Best Paper Award DOI Bib PDF

   We are honored to receive the Best Paper Award for this paper!

   @inproceedings{jung:bar:2019,
     author = {Jung, Minkyu and Kim, Soomin and Choi, Jaeseung and Cha, Sang Kil},
     title = {{B2R2}: Building an Efficient Front-End for Binary Analysis},
     booktitle = {Proceedings of the Workshop on Binary Analysis Research},
     doi = {10.14722/bar.2019.23051},
     year = {2019}
   }

2017

1. Intl. Conf.

   Top-tier

   Testing Intermediate Representations for Binary Analysis

   Soomin Kim, Markus Færevaag, Minkyu Jung, and 4 more authors

   In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2017

   DOI Bib PDF

   @inproceedings{kim:ase:2017,
     author = {Kim, Soomin and F{\ae}revaag, Markus and Jung, Minkyu and Jung, Seung{I}l and Oh, Dong{Y}eop and Lee, Jong{H}yup and Cha, Sang Kil},
     title = {Testing Intermediate Representations for Binary Analysis},
     booktitle = {Proceedings of the {IEEE/ACM} International Conference on Automated Software Engineering},
     doi = {10.5555/3155562.3155609},
     year = {2017}
   }