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

Be the first to leave a comment!

Similar Items