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

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

PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM

Saved in:
Bibliographic Details
Main Authors: Shinde, Shweta, Wang, Shengyi, Yuan, Pinghai, Hobor, Aquinas, Roychoudhury, Abhik, Saxena, Prateek
Other Authors: DEAN'S OFFICE (YALE-NUS COLLEGE)
Format: Article
Language:English
Published: USENIX ASSOC 2023
Subjects:
Science & Technology
Technology
Computer Science, Information Systems
Computer Science
Online Access:https://scholarbank.nus.edu.sg/handle/10635/244811
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
Description
Summary:PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM

Similar Items