Logical Attestation: An Authorization Architecture For Trustworthy Computing.
Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, and Fred B. Schneider.
In Proceedings of the Symposium on Operating Systems Principles, Cascais, Portugal, October 2011.
(paper, slides)

Netquery: A Knowledge Plane For Reasoning About Network Properties.
Alan Shieh, Emin Gün Sirer, and Fred B. Schneider.
In Proceedings of the SIGCOMM Conference, Toronto, Canada, August 2011.
(paper, slides-ppt, slides-pdf)

Nexus Authorization Logic (NAL): Design Rationale and Applications.
Fred B. Schneider, Kevin Walsh, Emin Gün Sirer.
In ACM Transactions on Information and System Security, 14(1), May 2011.
Also available as Cornell Computing and Information Science Technical Report, September 14, 2009.
(paper)

Device Driver Safety Through a Reference Validation Mechanism.
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gun Sirer and Fred B. Schneider.
In Proceedings of the Symposium on Operating Systems Design and Implementation, San Diego, California, December 2008.
(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.
(paper)

Logical Attestation: An Authorization Architecture For Trustworthy Computing.
Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, and Fred B. Schneider.
In Proceedings of the Symposium on Operating Systems Principles, Cascais, Portugal, October 2011.
(slides)

Netquery: A Knowledge Plane For Reasoning About Network Properties.
Alan Shieh, Emin Gün Sirer, and Fred B. Schneider.
In Proceedings of the SIGCOMM Conference, Toronto, Canada, August 2011.
(slides-ppt, slides-pdf)

NetQuery: A Universal Channel for Reasoning About Network Properties.
Alan Shieh.
Symposium on Operating Systems Design and Implementation Poster Session, San Diego, CA, December 2008.
(extended abstract)

Credentials-Based Authorization: Evaluation and Implementation.
Fred B. Schneider. Abstract of Plenary Lecture.
Proceedings 34th International Colloquium ICALP 2007, Wroclaw, Poland, July 2007, Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki (eds.). Lecture Notes in Computer Science,Volume 4596, Springer-Verlag, Heidelberg,2007, 12--14.
(plenary lecture)

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)