https://shibo-chen.github.io/research/Recent content in Research on Shibo Chenhttps://shibo-chen.github.io/images/og-card.pnghttps://shibo-chen.github.io/images/og-card.pngHugoen-ushttps://shibo-chen.github.io/research/zipper/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/research/zipper/A protocol layer that overlaps bus requests and exploits locality, so latency-sensitive accelerators keep running instead of waiting on the bus.https://shibo-chen.github.io/research/twine/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/research/twine/A Chisel extension that standardizes component interfaces and generates the control logic, so designers compose systems instead of wiring them.https://shibo-chen.github.io/research/overpass/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/research/overpass/A flexible interconnect with distributed resource allocation, so CPUs, accelerators, and I/O share bandwidth without one central arbiter.https://shibo-chen.github.io/research/se-verification/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/research/se-verification/A complete formal verification of the Sequestered Encryption architecture, from the ISA down to RTL. CCS 2023 Distinguished Paper Award.https://shibo-chen.github.io/research/morpheus/Mon, 01 Jan 0001 00:00:00 +0000https://shibo-chen.github.io/research/morpheus/A RISC-V secure architecture that keeps re-randomizing code and pointers underneath the running program, so attack probes go stale before they can be used.