TY  - RPRT
TI  - BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
AU  - Shweta Shinde
AU  - Shengyi Wang
AU  - Pinghai Yuan
AU  - Aquinas Hobor
AU  - Abhik Roychoudhury
AU  - Prateek Saxena
PY  - 2019
UR  - https://arxiv.org/abs/1807.00477
ID  - 1807.00477
ER  -