15 citations · 43 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.OS2022
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…
cs.CR2022★ 13 cited
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…