BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Title{BesFS}: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof
Publication TypeConference Paper
Year of Publication2020
AuthorsShinde S, Wang S, Yuan P, Hobor A, Roychoudhury A, Saxena P
Conference Name29th USENIX Security Symposium (USENIX Security 20)
Date Published08/2020
PublisherUSENIX Association
ISBN Number978-1-939133-17-5
URLhttps://www.usenix.org/conference/usenixsecurity20/presentation/shinde