BesFS icon indicating copy to clipboard operation
BesFS copied to clipboard

Published 20 hours ago • verified publisher icon shwetasshinde24
→

Metadata

A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves

Paper

Checout the USENIX Security paper here

Source code for BesFS

Coq Proof

Please refer to the README.md file in the coq folder

← Metadata

16
Stars
0
Forks
Watchers

Owner

verified publisher icon shwetasshinde24

Metadata

A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Back