Formal security analysis of basic network-attached storage.

Avik Chaudhuri, Martn Abadi

Browse the full CCS paper archive.