- Aug 2026 Our paper "COIN: A Live, Large-scale Benchmark for Semantics-to-Input Code Reasoning" is accepted to the EMNLP 2026 Main Conference.
- Aug 2026 Our paper "OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security" is presented at WOOT 2026.
- May 2026 Our paper "SoK: DARPA's AI Cyber Challenge (AIxCC)" was accepted to USENIX Security 2026. Distinguished Paper Award Runner-Up
- May 2026 Our paper "Contextualizing Sink Knowledge for Java Vulnerability Discovery" was presented at IEEE S&P 2026.
- Aug 2025 Our work "User-Space Dependency-Aware Rehosting for Linux-Based Firmware Binaries" is accepted by NDSS 2026.
I am a Senior Security Researcher at Microsoft Security's FORGE Lab, led by Taesoo Kim, where I build AI-powered systems for automated vulnerability discovery and the protection of critical software infrastructure. Before joining Microsoft, I was a postdoctoral researcher at Georgia Tech and Nanyang Technological University and served as the Java subteam leader of Team Atlanta, the first-place winner of DARPA's AI Cyber Challenge.
My current research sits at the intersection of AI, security, and program analysis, with a focus on automated vulnerability detection and mitigation. It spans AI-powered vulnerability scanning through the MDASH engine, fuzz-driver generation, firmware analysis, fuzzing, and static and dynamic program analysis.
I love my family, research, Dota 2, traveling, and dreaming. :)
News
Publications
You can also find my articles on Google Scholar. (* = co-first author)
2026
-
User-Space Dependency-Aware Rehosting for Linux-Based Firmware Binaries
2025
-
ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
-
VULCANBOOST: Boosting ReDoS Fixes through Symbolic Representation and Feature Normalization
-
Smart Contract Fuzzing Towards Profitable Vulnerabilities
-
LLM Based Input Space Partitioning Testing for Library APIs
2024
-
Semantic-Enhanced Indirect Call Analysis with Large Language Models
-
Bugs in Pods: Understanding Bugs in Container Runtime Systems
-
Achilles' Heel of JS Engines: Exploiting Modern Browsers During WASM Execution
-
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
-
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
2023
-
Aster: Automatic Speech Recognition System Accessibility Testing for Stutterers
-
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
2021
-
Vall-nut: Principled anti-grey box fuzzing
-
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices
2020
-
Ori: A Greybox Fuzzer for SOME/IP Protocols in Automotive Ethernet
-
MUZZ: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs
2019
-
BiFF: An Effective Binary Fuzzing Framework with Cross-Architecture Support
-
Cerebro: context-aware adaptive fuzzing for effective vulnerability detection
Awards
- Distinguished Paper Award Runner-Up — USENIX Security 2026 (22 of 362 accepted papers)
- AIxCC 1st Place Winner — DARPA AI Cyber Challenge
- Honorable Mention — USENIX Security 2025 (Top 6%, 25/407 accepted papers)
- Best Paper Award for Thrust B Projects — Continental-NTU Corporate Lab 2024
- ACM SIGSOFT Distinguished Paper Award — ICSE 2024
- ACM SIGSOFT Distinguished Paper Award — ASE 2023
- Best Paper Award of Year 2021 — Most Influential Research Paper Election of Ant Finance
- Best Early-Research-Achievement Paper — APSEC 2020
- 1st Award in Prototype Competition (freestyle track) — NASAC 2019
Services
Program Committee
2027: ICSE · FSE
2026: ASE (Research, NIER) · ACSAC
2025: ASE (Research, NIER) · ACSAC · ISSTA (EXPRESS) · ICECCS · Oakland (HMISA) · IJCAI (Survey) · Internetware (Tool Demo) · ICDM (LLM4Sec) · EuroSys (Shadow) · MSR (Junior)
Journal Reviewing
TOSEM · TSE · TIFS · IEEE TR · TDSC
Open Source Tools
- Atlantis-Java — The sinkpoint-centered Java vulnerability detection subsystem of Team Atlanta's DARPA AIxCC-winning CRS [github]
- OSS-CRS — An OpenSSF Sandbox Project for orchestrating autonomous CRSs on OSS-Fuzz-style targets — bug-finding, bug-fixing, triage, and ensembles, all behind one CLI [site] [github]
- fuzzdrivergpt — A GPT-Based Fuzz Driver Generator [github]