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]
@inproceedings{IleriCCKZ18,
title = {Proving confidentiality in a file system using DiskSec},
author = {Atalay Ileri and Tej Chajed and Adam Chlipala and M. Frans Kaashoek and Nickolai Zeldovich},
year = {2018},
url = {https://www.usenix.org/conference/osdi18/presentation/ileri},
researchr = {https://researchr.org/publication/IleriCCKZ18},
cites = {0},
citedby = {0},
pages = {323-338},
booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018},
editor = {Andrea C. Arpaci-Dusseau and Geoff Voelker},
publisher = {USENIX Association},
}