all InfoSec news
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. (arXiv:2209.15253v1 [cs.CR])
Oct. 3, 2022, 1:20 a.m. | Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste A
cs.CR updates on arXiv.org arxiv.org
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 and programmability of enclave programs. While
some prior work proposes enclave memory sharing, it does not provide a formal
model or verification of their designs. This paper presents Cerberus, a formal
approach to secure and efficient enclave memory sharing. To reduce the burden
of formal verification, we compare different sharing models and choose …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Azure DevSecOps Cloud Engineer II
@ Prudent Technology | McLean, VA, USA
Security Engineer III - Python, AWS
@ JPMorgan Chase & Co. | Bengaluru, Karnataka, India
SOC Analyst (Threat Hunter)
@ NCS | Singapore, Singapore
Managed Services Information Security Manager
@ NTT DATA | Sydney, Australia
Senior Security Engineer (Remote)
@ Mattermost | United Kingdom
Penetration Tester (Part Time & Remote)
@ TestPros | United States - Remote