BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
USENIX ASSOC
2023
|
| Subjects: | |
| 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 |
| id |
sg-nus-scholar.10635-244811 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-2448112024-04-17T09:00:52Z BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof Shinde, Shweta Wang, Shengyi Yuan, Pinghai Hobor, Aquinas Roychoudhury, Abhik Saxena, Prateek DEAN'S OFFICE (YALE-NUS COLLEGE) DEPARTMENT OF COMPUTER SCIENCE Science & Technology Technology Computer Science, Information Systems Computer Science PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM abs/1807.00477 523-540 2023-09-04T02:01:03Z 2023-09-04T02:01:03Z 2020 2023-09-03T10:38:02Z Article Shinde, Shweta, Wang, Shengyi, Yuan, Pinghai, Hobor, Aquinas, Roychoudhury, Abhik, Saxena, Prateek (2020). BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM abs/1807.00477 : 523-540. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/244811 en USENIX ASSOC Elements |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| language |
English |
| topic |
Science & Technology Technology Computer Science, Information Systems Computer Science |
| spellingShingle |
Science & Technology Technology Computer Science, Information Systems Computer Science Shinde, Shweta Wang, Shengyi Yuan, Pinghai Hobor, Aquinas Roychoudhury, Abhik Saxena, Prateek BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| description |
PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM |
| author2 |
DEAN'S OFFICE (YALE-NUS COLLEGE) |
| author_facet |
DEAN'S OFFICE (YALE-NUS COLLEGE) Shinde, Shweta Wang, Shengyi Yuan, Pinghai Hobor, Aquinas Roychoudhury, Abhik Saxena, Prateek |
| format |
Article |
| author |
Shinde, Shweta Wang, Shengyi Yuan, Pinghai Hobor, Aquinas Roychoudhury, Abhik Saxena, Prateek |
| author_sort |
Shinde, Shweta |
| title |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| title_short |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| title_full |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| title_fullStr |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| title_full_unstemmed |
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof |
| title_sort |
besfs: a posix filesystem for enclaves with a mechanized safety proof |
| publisher |
USENIX ASSOC |
| publishDate |
2023 |
| url |
https://scholarbank.nus.edu.sg/handle/10635/244811 |
| _version_ |
1800915940891688960 |