Biblio

Export 1 results:
Filters: Author is Atalay Ileri  [Clear All Filters]
2018
Ileri A, Chajed T, Chlipala A, Kaashoek F, Zeldovich N.  2018.  Proving confidentiality in a file system using DiskSec. 13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). :323--338.