# BesFS *A POSIX Filesystem for Enclaves with a Mechanized Safety Proof* By [[Shweta Shinde]], [[ETH Zurich]] - Was a PhD under [[Dawn Song]] ## Resources ### - (YouTube) [USENIX Security '20 - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof](https://www.youtube.com/watch?v=iQ3bNS3i6fU) ### - (GitHub) [BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves](https://github.com/shwetasshinde24/BesFS)