Proving confidentiality in a file system using DiskSec.

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

Published in: OSDI (2018)

Keyphrases

file system
access patterns
data transfer
access control
application specific
flash memory
multi tiered
search tools
storage devices
continuous media
storage systems
database
metadata management
naming conventions
web services
information security