Dapeng Gao
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fast and fine-grained compartmentalisation in CHERI | RISC-V Summit Europe 2025 | 2025-05-12 |
Demonstrates a CHERI-enabled out-of-order superscalar RISC-V core running CheriBSD on a DE10Pro FPGA, using 128-bit capabilities to enforce per-library stacks… | ||
| Compartmentalisation models | POCL 2024 | 2024-01-16 |
Proposes enforcing least privilege by treating each dynamic library as a compartment and modifying the runtime linker to insert a trampoline for every… | ||
| Library-based Compartmentalisation on CHERI | PLARCH 2023 | 2023-06-17 |
Prototype implements a dynamic linker as TCB on Morello/CHERI and demonstrates library-granular compartments enforced by trampoline-mediated transitions… | ||
| nothing matches | ||