| Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses J Choi, D Kim, S Kim, G Grieco, A Groce, SK Cha 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 146 | 2021 |
| Testing intermediate representations for binary analysis S Kim, M Faerevaag, M Jung, S Jung, DY Oh, JH Lee, SK Cha 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 93 | 2017 |
| Ankou: Guiding grey-box fuzzing towards combinatorial difference VJM Manès, S Kim, SK Cha Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 75 | 2020 |
| B2R2: Building an efficient front-end for binary analysis M Jung, S Kim, H Han, J Choi, SK Cha Proceedings of the NDSS Workshop on Binary Analysis Research, 2019 | 27 | 2019 |
| Fuzzle: Making a puzzle for fuzzers H Lee, S Kim, SK Cha Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 16 | 2022 |
| Reassembly is hard: a reflection on challenges and strategies H Kim, S Kim, J Lee, K Jee, SK Cha 32nd USENIX Security Symposium (USENIX Security 23), 1469-1486, 2023 | 8 | 2023 |
| How’d Security Benefit Reverse Engineers?: The Implication of Intel CET on Function Identification H Kim, J Lee, S Kim, SI Jung, SK Cha 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022 | 7 | 2022 |
| Funprobe: Probing functions from binary code through probabilistic analysis S Kim, H Kim, SK Cha Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 3 | 2023 |
| AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference H Kim, S Kim, J Lee, SK Cha Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
