BesFS
BesFS copied to clipboard
Published
20 hours ago •
shwetasshinde24
shwetasshinde24
A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
Results
1
BesFS issues
Sort by
recently updated
recently updated
newest added
Big fan, great work! You mentioned a manual line-by-line translation of our machine-checked Coq implementation to C code in the Usenix Security paper. I wonder if you can share it...
Metadata
16
Stars
0
Forks
Watchers
Owner
Metadata
A POSIX Filesystem for Enclaves with a Mechanized Safety Proof