Proving confidentiality in a file system using DiskSec.

Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full OSDI paper archive.