research
∙
08/15/2022
ECI: a Customizable Cache Coherency Stack for Hybrid FPGA-CPU Architectures
Unlike other accelerators, FPGAs are capable of supporting cache coheren...
share
research
∙
09/06/2020
Secure Memory Management on Modern Hardware
Almost all modern hardware, from phone SoCs to high-end servers with acc...
research
∙
11/20/2019
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
We present CleanQ, a high-performance operating-system interface for des...
research
∙
08/23/2019
A Least-Privilege Memory Protection Model for Modern Hardware
We present a new least-privilege-based model of addressing on which to b...
research
∙
03/20/2017