Rui Chang
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 2 in the filters
on a stage with
- Chenyang Yuonce
- David Sananonce
- Haochen Gongonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A complete formal semantics of eBPF instruction set architecture for Solana | OOPSLA 2025 | 2025-10-16 |
First complete formal semantics for Solana eBPF, mechanized as a small‑step operational model that covers 116 opcodes and is extracted to executable… | ||
| Harness: Transparent and Lightweight Protection of Vehicle Control on... | USENIX Security '25 | 2025-08-13 |
Harness isolates a minimal vehicle-control domain using hardware virtualization (ARM stage‑2 paging) and a hypervisor module called the low visor to run car… | ||
| nothing matches | ||