Git-based CTF: A Simple and Effective Approach to Organizing In-Course Attack-and-Defense Security Competition. - SeongIl Wi; Jaeseung Choi 002; Sang Kil Cha (ASE @ USENIX Security Symposium, 2018)

Grey-box concolic testing on binary code. - Jaeseung Choi 002; Joonun Jang; Choongwoo Han; Sang Kil Cha (ICSE, 2019)

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. - Jaeseung Choi 002; Doyeon Kim; Soomin Kim 002; Gustavo Grieco; Alex Groce; Sang Kil Cha (ASE, 2021)

NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis. - Jaeseung Choi 002; Kangsu Kim; Daejin Lee; Sang Kil Cha (SP, 2021)

DAFL: Directed Grey-box Fuzzing guided by Data Dependency. - Tae Eun Kim; Jaeseung Choi 002; Kihong Heo; Sang Kil Cha (USENIX Security Symposium, 2023)

Evaluating Directed Fuzzers: Are We Heading in the Right Direction? - Tae Eun Kim; Jaeseung Choi 002; Seongjae Im; Kihong Heo; Sang Kil Cha (Proc. ACM Softw. Eng., 2024)

Pave: Information Flow Control for Privacy-preserving Online Data Processing Services. - Minkyung Park; Jaeseung Choi 002; Hyeonmin Lee; Ted Taekyoung Kwon (ASPLOS (2), 2025)