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

30 September 2022

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 W. Ożga Guerney D. H. Hunt Michael V. Le Lennard Gäher Avraham Shinnar Elaine R. Palmer Hani Jamjoom S. Dragone 17 0 0 19 May 2025
TEEMATE: Fast and Efficient Confidential Container using Shared Enclave Chulmin Lee Jaewon Hur Sangho Lee Byoungyoung Lee FedML 59 0 0 18 Nov 2024
Lightweight, Secure and Stateful Serverless Computing with PSL Alexander Thomas Shubham Mishra Kaiyuan Chen John Kubiatowicz 27 0 0 25 Oct 2024
Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne Stavros Volos Shweta Shinde 21 0 0 04 Oct 2024