41 citations · 85 across the 7 of their papers we have counts for
7 papers
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing
Anjo Vahldiek-Oberwagner, Mona Vij
Motivated by developer productivity, serverless computing, and microservices have become the de facto development model in the cloud. Microservices decompose monolithic application…
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Dayeol Lee, Kevin Cheang, Alexander Thomas +7
Hardware enclaves rely on a disjoint memory model, which maps each physical address to an enclave to achieve strong memory isolation. However, this severely limits the performance…
Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS
Dmitrii Kuvaiskii, Gaurav Kumar, Mona Vij
The Intel Software Guard Extensions (SGX) technology enables applications to run in an isolated SGX enclave environment, with elevated confidentiality and integrity guarantees. Gra…
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple
Dayeol Lee, Dmitrii Kuvaiskii, Anjo Vahldiek-Oberwagner +1
We present a practical framework to deploy privacy-preserving machine learning (PPML) applications in untrusted clouds based on a trusted execution environment (TEE). Specifically,…
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX)
Dmitrii Kuvaiskii, Somnath Chakrabarti, Mona Vij
Network Function Virtualization (NFV) promises the benefits of reduced infrastructure, personnel, and management costs by outsourcing network middleboxes to the public or private c…
Integrating Remote Attestation with Transport Layer Security
Thomas Knauth, Michael Steiner, Somnath Chakrabarti +3
Intel(R) Software Guard Extensions (Intel(R) SGX) is a promising technology to securely process information in otherwise untrusted environments. An important aspect of Intel SGX is…