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 | 94 | 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 | 80 | 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 | 62 | 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 | 24 | 2019 |
Fuzzle: Making a puzzle for fuzzers H Lee, S Kim, SK Cha Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 7 | 2022 |
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 | 4 | 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 | 3 | 2023 |
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 | 1 | 2023 |