research
∙
02/18/2022
Prepare your video for streaming with Segue
We identify new opportunities in video streaming, involving the joint co...
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
