| 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 | 93 | 2021 |
| Grey-box concolic testing on binary code J Choi, J Jang, C Han, SK Cha 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 77 | 2019 |
| NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis J Choi, K Kim, D Lee, SK Cha 2021 IEEE Symposium on Security and Privacy (SP), 677-693, 2021 | 36 | 2021 |
| 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 |
| Git-based {CTF}: A Simple and Effective Approach to Organizing In-Course Attack-and-Defense Security Competition SI Wi, J Choi, SK Cha 2018 {USENIX} Workshop on Advances in Security Education ({ASE} 18), 2018 | 22 | 2018 |
| Semantics-Preserving Mutation-Based Fuzzing on JavaScript Interpreters DH Oh, JS Choi, SK Cha Journal of the Korea Institute of Information Security & Cryptology 30 (4 …, 2020 | | 2020 |
