Note: all of the papers we're covering this quarter are available on the SOSP 2007 technical program web page.
10/31: SecVisor (Alex) 11/7: Bouncer (Tanya) 11/14: VirtualPower (Nick) 11/21: Secure Web applications via Automatic Partitioning (Roxana) 11/28: Information Flow Control for Standard OS Abstractions (Ben) 12/5: Dynamo (TBA)