ResearchTrend.AI
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
v1v2 (latest)

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing

Dayeol Lee
Kevin Cheang
Alexander Thomas
Catherine Lu
Pranav Gaddamadugu
Anjo Vahldiek-Oberwagner
Mona Vij
Basel Alomair
Sanjit A. Seshia
Krste Asanović
ArXiv (abs)PDFHTML

Papers citing "Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing"

4 / 4 papers shown
Title
ACE: Confidential Computing for Embedded RISC-V Systems
ACE: Confidential Computing for Embedded RISC-V Systems
W. Ożga
Guerney D. H. Hunt
Michael V. Le
Lennard Gäher
Avraham Shinnar
Elaine R. Palmer
Hani Jamjoom
S. Dragone
43
0
0
19 May 2025
TEEMATE: Fast and Efficient Confidential Container using Shared Enclave
Chulmin Lee
Jaewon Hur
Sangho Lee
Byoungyoung Lee
FedML
101
0
0
18 Nov 2024
Lightweight, Secure and Stateful Serverless Computing with PSL
Lightweight, Secure and Stateful Serverless Computing with PSL
Alexander Thomas
Shubham Mishra
Kaiyuan Chen
John Kubiatowicz
49
0
0
25 Oct 2024
Dorami: Privilege Separating Security Monitor on RISC-V TEEs
Dorami: Privilege Separating Security Monitor on RISC-V TEEs
Mark Kuhne
Stavros Volos
Shweta Shinde
114
0
0
04 Oct 2024

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.