BesFS
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
coq
README.md

README.md

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

Source code for BesFS

Coq Proof

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