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

Shinde, S., Wang, S., Yuan, P., Hobor, A., Roychoudhury, A., & Saxena, P. (2018). BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. ArXiv:1807.00477 [Cs]. Retrieved from http://arxiv.org/abs/1807.00477