Michael Walfish

Other

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

email mwalfish at cs.utexas.edu
web www.cs.utexas.edu/~mwalfish

publications

Pretzel: Email encryption and provider-supplied functions are compatible
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, and Michael Walfish
In SIGCOMM 2017 - bibtex
Defending against malicious peripherals with Cinch
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2016 - bibtex
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, and Michael Walfish
In NSDI 2016 - bibtex
YS: Scalable SQL storage for Web applications using distributed balanced trees
Marcos K. Aguilera, Joshua B. Leners, and Michael Walfish
In SOSP 2015 - bibtex
Taming uncertainty in distributed systems with help from the network
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
In EuroSys 2015 - bibtex
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng (Andy) Ren, Andrew J. Blumberg, and Michael Walfish
In NDSS 2015 - bibtex
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng (Andy) Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In SOSP 2013 - pdf :: slides :: bibtex
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