Insu Yun
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Changwoo Minonce
- CheolJun Parkonce
- Jihee Parkonce
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Bridging the Gap between Real-World and Formal Binary Lifting through(…) | OOPSLA 2025 | 2025-10-16 |
Defines correctness as filtered-simulation and formalizes three concrete transformations: control flow graph reconstruction, abstract stack reconstruction, and… | ||
| LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband... | USENIX Security '25 | 2025-08-13 |
LLFuzz is an over-the-air dynamic tester that targets PDCP, RLC, MAC and PHY lower layers by generating 3GPP-spec-compliant test cases and actively toggling… | ||
| QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing | USENIX Security '18 | 2018-08-15 |
A fast concolic engine called QSYM implements instruction-level symbolic emulation by removing the IR layer and tightly integrating symbolic emulation with… | ||
| APISan: Sanitizing API Usages through Semantic Cross-Checking | USENIX Security '16 | 2016-08-10 |
APISan automatically infers correct API usage by mining semantic patterns from code, building relaxed symbolic execution abstractions (api calls, arguments… | ||
| nothing matches | ||