{End-to-End} Authorization
.
2000. {End-to-End} Authorization. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Design and Implementation of a {Self-Securing} Storage Device
.
2000. Design and Implementation of a {Self-Securing} Storage Device. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Fast and Secure Distributed {Read-Only} File System
.
2000. Fast and Secure Distributed {Read-Only} File System. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
{CpU}: Component Composition for Systems Software
.
2000. {CpU}: Component Composition for Systems Software. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Proactive Recovery in a {Byzantine-Fault-Tolerant} System
.
2000. Proactive Recovery in a {Byzantine-Fault-Tolerant} System. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Exploring Failure Transparency and the Limits of Generic Recovery
.
2000. Exploring Failure Transparency and the Limits of Generic Recovery. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Design and Evaluation of a Continuous Consistency Model for Replicated Services
.
2000. Design and Evaluation of a Continuous Consistency Model for Replicated Services. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).