research
∙
09/06/2020
Secure Memory Management on Modern Hardware
Almost all modern hardware, from phone SoCs to high-end servers with acc...
share
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
