Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. In Srdjan Capkun, Franziska Roesner, editors, 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. pages 523-540, USENIX Association, 2020. [doi]
Abstract is missing.