Taesoo Kim
where else to find them
x:tsgatesv
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 9 in the filters
on a stage with
all 51 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security | 20th USENIX WOOT Conference on Offensive Technologies (WOOT '26) | 2026-08-10 |
An open, locally deployable framework that ports components from all seven AIxCC finalist CRSs and runs them modularly on OSS-Fuzz projects, using a… | ||
| Principles and Methodologies for Serial Performance Optimization | OSDI '25 | 2025-07-07 |
Reviewing 477 OSDI/SOSP papers from the past decade yields a claim that sequential optimizations fall into three principles—remove, replace, reorder—and eight… | ||
| Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence... | USENIX ATC '22 | 2022-07-11 |
Modulo is a model-based tester that uses Divergence Resync Models to focus state exploration on interleavings of divergence and resync, generating schedules… | ||
| PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis | USENIX ATC '22 | 2022-07-11 |
PRIDWEN is a load-time loader that probes remote platform features, decides an optimal set of side‑channel mitigations, and synthesizes a native binary from a… | ||
| Taking Kernel Hardening to the Next Level | Black Hat Asia 2022 | 2022-05-10 |
Proposes two concrete kernel defenses: KL tightens PA-based CFI by mixing type, object type and an invariant per-instance field and, when applied to Linux… | ||
| Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Fluffy mutates and executes multi-transaction differential fuzzing test cases against multiple Ethereum clients (Geth, OpenEthereum), exercising different… | ||
| libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK) | USENIX ATC '19 | 2019-07-10 |
libmpk virtualizes Intel MPK so 16 hardware keys become an unlimited virtual key space, prevents protection-key-use-after-free by managing and protecting… | ||
| Efficient Protection of Path-Sensitive Control Security | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Path-sensitive CFI uses runtime, path-sensitive points-to analysis combined with hardware tracing to reduce target sets and stop realistic control-flow… | ||
| PlatPal: Detecting Malicious Documents with Platform Diversity | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Prototype PLATPAL harvests OS differences to detect maldocs by tracing inside Adobe Reader and capturing host syscall effects in sandboxed VMs; PLATPAL hooks… | ||
| Hacking in Darkness: Return-oriented Programming against Secure Enclaves | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Demonstrates a concrete exploit, Dark-ROP, that uses OS control plus oracle timing from SGX synchronous exits to discover and chain thousands (~13k) pop… | ||
| Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Shows a practical side‑channel that leaks branch‑level control flow from SGX by running colliding shadow branches outside the enclave and reading prediction… | ||
| 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… | ||
| Breaking Kernel Address Space Layout Randomization (KASLR) With Intel TSX | Black Hat USA 2016 | 2016-08-03 |
A new attack called DrK uses Intel Transactional Synchronization Extensions to time aborted transactions and distinguish unmapped, mapped non‑executable, and… | ||
| nothing matches | ||