research
∙
11/15/2022
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing
Motivated by developer productivity, serverless computing, and microserv...
share
research
∙
09/30/2022
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Hardware enclaves rely on a disjoint memory model, which maps each physi...
research
∙
08/08/2021
The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization
Commodity applications contain more and more combinations of interacting...
research
∙
02/25/2021
Swivel: Hardening WebAssembly against Spectre
We describe Swivel, a new compiler framework for hardening WebAssembly (...
research
∙
09/09/2020
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple
We present a practical framework to deploy privacy-preserving machine le...
research
∙
01/21/2018