- Toward practical and unconditional verification of remote computations Srinath Setty, Andrew J. Blumberg, and Michael Walfish UT Austin
- The design and implementation of a policy framework for the future Internet Jad Naous, Arun Seehra, Michael Walfish, David Mazi`eres, Antonio Nicolosi, and Scott Shenker
- DDoS Defense by Offense MICHAEL WALFISH
- Depot: Cloud storage with minimal trust (extended version) Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
- No Time for Asynchrony Marcos K. Aguilera
- Repair from a chair: Computer repair as an untrusted cloud service Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish UT Austin
- Detecting failures in distributed systems with the FALCON spy network
- The Web Interface Should Be Radically Refactored John R. Douceur, Jon Howell, Bryan Parno
- Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
