Device Driver Safety Through a Reference Validation Mechanism.
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gun Sirer and Fred B. Schneider.
Submitted for publication.
(paper)

Using External Security Monitors to Secure BGP.
Patrick Reynolds, Oliver Kennedy, Emin Gun Sirer and Fred B. Schneider.
Submitted for publication.
(paper)

Securing BGP Using External Security Monitors.
Patrick Reynolds, Oliver Kennedy, Emin Gun Sirer and Fred B. Schneider.
Cornell University, Computing and Information Science Technical Report TR2006-2065, Ithaca, New York, December 2006.

An approach for using trusted computing to protect existing network protocol implementations.
(paper)

Nexus: A New Operating System for Trustworthy Computing
Emin Gun Sirer.
TRUST (Team for Research in Ubiquitous Secure Technology) Winter Meeting, Washington, DC, January 2006.

Extended overview of the Nexus.
(presentation)

Nexus: A New Operating System for Trustworthy Computing
Dan Williams.
Symposium on Operating Systems Principles WIP Session, Brighton, United Kingdom, October 2005.

Brief work-in-progress talk.
(presentation | extended abstract)