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
∙
03/02/2022
Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS
The Intel Software Guard Extensions (SGX) technology enables application...
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
∙
02/01/2018
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX)
Network Function Virtualization (NFV) promises the benefits of reduced i...
research
∙
01/17/2018
Integrating Remote Attestation with Transport Layer Security
Intel(R) Software Guard Extensions (Intel(R) SGX) is a promising technol...
research
∙
12/20/2017