A Verified Confidential Computing as a Service Framework for Privacy Preservation

TitleA Verified Confidential Computing as a Service Framework for Privacy Preservation
Publication TypeConference Paper
Year of Publication2023
AuthorsChen H, Chen HHiroki, Sun M, Li K, Chen Z, Wang XF
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/chen-hongbo