Sotabase

Career

· Associate Professor (Untenured), KAIST2021–
· Research Intern, Microsoft Research2017–2017
· PhD in Computer Science, Georgia Institute of Technology2015–2020
· Software Engineer, Korean Cyber Command2012–2014
· B.S. in Computer Science & Mathematical Science, KAIST2008–2015
· Assistant Professor, KAIST

Publications (40)

QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
USENIX Security Symposium · 2018
519
cited
Kargus: a highly-scalable software-based intrusion detection system
Conference on Computer and Communications Security · 2012
176
cited
HDFI: Hardware-Assisted Data-Flow Isolation
IEEE Symposium on Security and Privacy · 2016
144
cited
Fuzzing JavaScript Engines with Aspect-preserving Mutation
IEEE Symposium on Security and Privacy · 2020
119
cited
APISan: Sanitizing API Usages through Semantic Cross-Checking
USENIX Security Symposium · 2016
107
cited
REPT: Reverse Debugging of Failures in Deployed Software
USENIX Symposium on Operating Systems Design and Implementation · 2018
101
cited
CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems
USENIX Annual Technical Conference · 2017
56
cited
BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols
Network and Distributed System Security Symposium · 2021
53
cited
Preventing Use-After-Free Attacks with Fast Forward Allocation
USENIX Security Symposium · 2021
49
cited
DoLTEst: In-depth Downlink Negative Testing Framework for LTE Devices
USENIX Security Symposium · 2022
48
cited
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
USENIX Security Symposium · 2019
44
cited
BASECOMP: A Comparative Analysis for Integrity Protection in Cellular Baseband Software
USENIX Security Symposium · 2023
18
cited
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
IEEE Symposium on Security and Privacy · 2023
10
cited
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
Conference on Computer and Communications Security · 2021
9
cited
Scalable and Secure Virtualization of HSM With ScaleTrust
IEEE/ACM Transactions on Networking · 2023
6
cited
Fuzzing@Home: Distributed Fuzzing on Untrusted Heterogeneous Clients
International Symposium on Recent Advances in Intrusion Detection · 2022
5
cited
Analyzing Security of Korean USIM-Based PKI Certificate Service
Web Information System and Application Conference · 2014
2
cited
ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
arXiv.org · 2025
2
cited
Concolic Execution Tailored for Hybrid Fuzzing
2021
PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair
2026
Sotabase
Insu Yun | Researcher Profile | Sotabase | Sotabase