Towards Formal Verification of State Continuity for Enclave Programs

Submitted by jasmine@usenix.org on June 14, 2021 - 2:44 pm
TitleTowards Formal Verification of State Continuity for Enclave Programs
Publication TypeConference Paper
Year of Publication2021
AuthorsJangid MKumar, Chen G, Zhang Y, Lin Z
Conference Name30th USENIX Security Symposium (USENIX Security 21)
Date Published08/2021
PublisherUSENIX Association
ISBN Number978-1-939133-24-3
URLhttps://www.usenix.org/conference/usenixsecurity21/presentation/jangid