| 2013 | ||
|---|---|---|
| c14 | Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish: Resolving the conflict between generality and plausibility in verified computation. EuroSys 2013: 71-84 | |
| 2012 | ||
| i2 | Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish: Taking proof-based verified computation a few steps closer to practicality (extended version). IACR Cryptology ePrint Archive 2012: 598 (2012) | |
| i1 | Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish: Resolving the conflict between generality and plausibility in verified computation. IACR Cryptology ePrint Archive 2012: 622 (2012) | |
| 2011 | ||
| j2 | Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish: Depot: Cloud Storage with Minimal Trust. ACM Trans. Comput. Syst. 29(4): 12 (2011) | |
| c13 | Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra: Verifying and enforcing network paths with icing. CoNEXT 2011: 30 | |
| c12 | John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong: The web interface should be radically refactored. HotNets 2011: 10 | |
| c11 | Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish: Detecting failures in distributed systems with the Falcon spy network. SOSP 2011: 279-294 | |
| 2010 | ||
| j1 | Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker: DDoS defense by offense. ACM Trans. Comput. Syst. 28(1) (2010) | |
| c10 | Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish: Depot: Cloud Storage with Minimal Trust. OSDI 2010: 307-322 | |
| 2009 | ||
| c9 | Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio Nicolosi, Scott Shenker: A Policy Framework for the Future Internet. HotNets 2009 | |
| c8 | ||
| 2006 | ||
| c7 | Michael Walfish, J. D. Zamfirescu, Hari Balakrishnan, David R. Karger, Scott Shenker: Distributed Quota Enforcement for Spam Control. NSDI 2006 | |
| c6 | Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker: DDoS defense by offense. SIGCOMM 2006: 303-314 | |
| 2005 | ||
| c5 | Hari Balakrishnan, Scott Shenker, Michael Walfish: Peering Peer-to-Peer Providers. IPTPS 2005: 104-114 | |
| 2004 | ||
| c4 | ||
| c3 | Michael Walfish, Jeremy Stribling, Maxwell N. Krohn, Hari Balakrishnan, Robert Morris, Scott Shenker: Middleboxes No Longer Considered Harmful. OSDI 2004: 215-230 | |
| c2 | Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, Michael Walfish: A layered naming architecture for the internet. SIGCOMM 2004: 343-352 | |
| 2003 | ||
| c1 | Hari Balakrishnan, Scott Shenker, Michael Walfish: Semantic-Free Referencing in Linked Distributed Systems. IPTPS 2003: 197-206 | |
Data released under the ODC-BY 1.0 license — See also our legal information page