Proving confidentiality in a file system using DiskSec

Download PDF
Open Webpage

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

Published: 01 Jan 2018, Last Modified: 13 Jun 2024OSDI 2018EveryoneRevisionsBibTeXCC BY-SA 4.0