Michael Walfish

Faculty

areas of interest distributed systems, security, operating systems, networking

email mwalfish at cs.utexas.edu
web www.cs.utexas.edu/~mwalfish
office GDC 6.508

publications

Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 2013 - pdf :: bibtex
A hybrid architecture for interactive verifiable computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In S&P (Oakland) 2013 - pdf :: bibtex
Improving availability in distributed systems with failure informers
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
In NSDI 2013 - pdf :: bibtex
Resolving the conflict between generality and plausibility in verified computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, and Michael Walfish
In EuroSys 2013 - pdf :: bibtex
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2012 - pdf :: bibtex
TreeHouse: JavaScript sandboxes to help Web developers help themselves
Lon Ingram and Michael Walfish
In USENIX ATC 2012 - pdf :: bibtex
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
In NDSS 2012 - pdf :: bibtex
Verifying and enforcing network paths with ICING
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, and Arun Seehra
In CoNEXT 2011 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In TOCS 29(4), December 2011 - pdf :: bibtex
Detecting failures in distributed systems with the FALCON spy network
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos K. Aguilera, and Michael Walfish
In SOSP 2011 - pdf :: bibtex
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In OSDI 2010 - pdf :: bibtex