Proving confidentiality in a file system using DiskSec - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Atalay Ileri' in GoogleThis author has not been identified. Look up 'Tej Chajed' in GoogleThis author has not been identified. It may be one of the following persons:

Adam J. Chlipala

Look up 'Adam Chlipala' in GoogleThis author has not been identified. Look up 'M. Frans Kaashoek' in GoogleThis author has not been identified. Look up 'Nickolai Zeldovich' in Google

runs on WebDSL