Kargus: a highly-scalable software-based intrusion detection system. - Muhammad Asim Jamshed; Jihyung Lee; Sangwoo Moon; Insu Yun; Deokjin Kim; Sungryoul Lee; Yung Yi; KyoungSoo Park (CCS, 2012)

Analyzing Security of Korean USIM-Based PKI Certificate Service. - Shinjo Park; Suwan Park; Insu Yun; Dongkwan Kim 001; Yongdae Kim (WISA, 2014)

HDFI: Hardware-Assisted Data-Flow Isolation. - Chengyu Song; Hyungon Moon; Monjur Alam; Insu Yun; Byoungyoung Lee; Taesoo Kim; Wenke Lee; Yunheung Paek (IEEE Symposium on Security and Privacy, 2016)

APISan: Sanitizing API Usages through Semantic Cross-Checking. - Insu Yun; Changwoo Min; Xujie Si; Yeongjin Jang; Taesoo Kim; Mayur Naik (USENIX Security Symposium, 2016)

CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. - Su Yong Kim; Sangho Lee 001; Insu Yun; Wen Xu 002; Byoungyoung Lee; Youngtae Yun; Taesoo Kim (USENIX ATC, 2017)

REPT: Reverse Debugging of Failures in Deployed Software. - Weidong Cui; Xinyang Ge; Baris Kasikci; Ben Niu 007; Upamanyu Sharma; Ruoyu Wang 001; Insu Yun (OSDI, 2018)

QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. - Insu Yun; Sangho Lee 001; Meng Xu 001; Yeongjin Jang; Taesoo Kim (USENIX Security Symposium, 2018)

Fuzzing JavaScript Engines with Aspect-preserving Mutation. - Soyeon Park; Wen Xu 002; Insu Yun; Daehee Jang; Taesoo Kim (SP, 2020)

Automatic Techniques to Systematically Discover New Heap Exploitation Primitives. - Insu Yun; Dhaval Kapil; Taesoo Kim (USENIX Security Symposium, 2020)

HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators. - Insu Yun; Woosun Song; Seunggi Min; Taesoo Kim (CCS, 2021)

BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols. - Eunsoo Kim; Dongkwan Kim 001; CheolJun Park; Insu Yun; Yongdae Kim (NDSS, 2021)

Preventing Use-After-Free Attacks with Fast Forward Allocation. - Brian Wickman; Hong Hu 004; Insu Yun; Daehee Jang; Jungwon Lim; Sanidhya Kashyap; Taesoo Kim (USENIX Security Symposium, 2021)

Concolic Execution Tailored for Hybrid Fuzzing. - Insu Yun (2021)

Fuzzing@Home: Distributed Fuzzing on Untrusted Heterogeneous Clients. - Daehee Jang; Ammar Askar; Insu Yun; Stephen Tong; Yiqin Cai; Taesoo Kim (RAID, 2022)

DoLTEst: In-depth Downlink Negative Testing Framework for LTE Devices. - CheolJun Park; Sangwook Bae; Beomseok Oh; Jiho Lee; Eunkyu Lee; Insu Yun; Yongdae Kim (USENIX Security Symposium, 2022)

QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. - HyungSeok Han; JeongOh Kyea; Yonghwi Jin; Jinoh Kang; Brian Pak; Insu Yun (SP, 2023)

BASECOMP: A Comparative Analysis for Integrity Protection in Cellular Baseband Software. - Eunsoo Kim; Min Woo Baek; CheolJun Park; Dongkwan Kim 001; Yongdae Kim; Insu Yun (USENIX Security Symposium, 2023)

Scalable and Secure Virtualization of HSM With ScaleTrust. - Juhyeng Han; Insu Yun; Seongmin Kim; Taesoo Kim; Sooel Son; Dongsu Han (IEEE/ACM Trans. Netw., 2023)

RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes. - Junyoung Park; Yunho Kim; Insu Yun (SP, 2025)

FirmState: Bringing Cellular Protocol States to Shannon Baseband Emulation. - Suhwan Jeong; Beomseok Oh; Kwangmin Kim; Insu Yun; Yongdae Kim; CheolJun Park (WISEC, 2025)

Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation. - Jihee Park; Insu Yun; Sukyoung Ryu (Proc. ACM Program. Lang., 2025)

Automated Attack Synthesis for Constant Product Market Makers. - Sujin Han; Jinseo Kim; Sung-Ju Lee; Insu Yun (Proc. ACM Softw. Eng., 2025)

Survey Artifacts for Cross-Cultural User Studies: Korean and English Versions with Proofreading Documentation (USENIX Security 2025). - Taisic Yun; Suhwan Jeong; Yonghwa Lee; Seungjoo Kim; Hyoungshick Kim; Insu Yun; Yongdae Kim (Zenodo, 2025)

Survey Artifacts for Cross-Cultural User Studies: Korean and English Versions with Proofreading Documentation (USENIX Security 2025). - Taisic Yun; Suhwan Jeong; Yonghwa Lee; Seungjoo Kim; Hyoungshick Kim; Insu Yun; Yongdae Kim (Zenodo, 2025)