Atalay Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich. Proving confidentiality in a file system using DiskSec. In Andrea C. Arpaci-Dusseau, Geoff Voelker, editors, 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018. pages 323-338, USENIX Association, 2018. [doi]
Abstract is missing.