RSS: Events | News | Papers

SSRC News

Sat, April 26
The Pergamum project has been featured in UCSC Currents and mentioned on Slashdot and Digg.
Thu, April 24
The "Virtualizing Disk Performance" paper authored by members of the Storage QoS project won Best Student Paper at this week's RTAS 2008.
Fri, March 14
StorageMojo.com's favorite FAST 08 paper was the paper on Pergamum, a disk-based archival storage system.
Thu, March 13
The Spring 2008 SSRC seminar series will be held on Wednesdays at noon in E2-599.
Tue, March 11
The annual SSRC retreat will be held May 20-21, 2008.
Tue, Feb. 12
SSRC welcomes new associates

SSRC Events

Avik Chaudhuri works with Prof. Abadi on formal specifications and analysis of file system and storage system security.

Avik Chaudhuri, Martín Abadi, Formal Analysis of Dynamic, Distributed File-System Access Controls, Proceedings of the 26th IFIP WG6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), September 2006, pages 99-114. [Secure File and Storage Systems]
Avik Chaudhuri, Martín Abadi, Secrecy by Typing and File-Access Control, Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW '06), July 2006, pages 112-123. [Secure File and Storage Systems]

Avik Chaudhuri, Martín Abadi, Formal Security Analysis of Basic Network-Attached Storage, Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE'05), November 2005, pages 43-52. [Secure File and Storage Systems]

Last modified 1 Apr 2007