| A layered naming architecture for the Internet H Balakrishnan, K Lakshminarayanan, S Ratnasamy, S Shenker, I Stoica, ... ACM SIGCOMM Computer Communication Review 34 (4), 343-352, 2004 | 457 | 2004 |
| Depot: Cloud storage with minimal trust P Mahajan, S Setty, S Lee, A Clement, L Alvisi, M Dahlin, M Walfish ACM Transactions on Computer Systems (TOCS) 29 (4), 1-38, 2011 | 407 | 2011 |
| Untangling the Web from DNS. M Walfish, H Balakrishnan, S Shenker NSDI 4, 17-17, 2004 | 378 | 2004 |
| DDoS defense by offense M Walfish, M Vutukuru, H Balakrishnan, D Karger, S Shenker Proceedings of the 2006 conference on Applications, technologies …, 2006 | 297 | 2006 |
| Middleboxes No Longer Considered Harmful. M Walfish, J Stribling, MN Krohn, H Balakrishnan, RT Morris, S Shenker OSDI 4, 15-15, 2004 | 265 | 2004 |
| Doubly-efficient zkSNARKs without trusted setup RS Wahby, I Tzialla, A Shelat, J Thaler, M Walfish 2018 IEEE Symposium on Security and Privacy (SP), 926-943, 2018 | 239 | 2018 |
| Verifying computations without reexecuting them: from theoretical possibility to near-practicality M Walfish, A Blumberg Electronic Colloquium on Computational Complexity, 2013 | 231* | 2013 |
| Making argument systems for outsourced computation practical (sometimes). STV Setty, R McPherson, AJ Blumberg, M Walfish NDSS 1 (9), 17, 2012 | 206 | 2012 |
| Verifying computations with state B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Proceedings of the twenty-fourth ACM Symposium on Operating Systems …, 2013 | 205 | 2013 |
| Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. STV Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish USENIX Security Symposium, 253-268, 2012 | 194 | 2012 |
| Efficient RAM and control flow in verifiable outsourced computation RS Wahby, S Setty, M Howald, Z Ren, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2014 | 181 | 2014 |
| A hybrid architecture for interactive verifiable computation V Vu, S Setty, AJ Blumberg, M Walfish 2013 IEEE Symposium on Security and Privacy, 223-237, 2013 | 172 | 2013 |
| Verifying and enforcing network paths with ICING J Naous, M Walfish, A Nicolosi, D Mazieres, M Miller, A Seehra Proceedings of the Seventh Conference on Emerging Networking Experiments and …, 2011 | 171 | 2011 |
| Resolving the conflict between generality and plausibility in verified computation S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish Proceedings of the 8th ACM European Conference on Computer Systems, 71-84, 2013 | 154 | 2013 |
| Detecting failures in distributed systems with the falcon spy network JB Leners, H Wu, WL Hung, MK Aguilera, M Walfish Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011 | 136 | 2011 |
| Scalable and private media consumption with Popcorn T Gupta, N Crooks, W Mulhern, S Setty, L Alvisi, M Walfish 13th {USENIX} Symposium on Networked Systems Design and Implementation …, 2016 | 102 | 2016 |
| Full accounting for verifiable outsourcing RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 81 | 2017 |
| DDoS defense by offense M Walfish, M Vutukuru, H Balakrishnan, D Karger, S Shenker ACM Transactions on Computer Systems (TOCS) 28 (1), 1-54, 2010 | 81 | 2010 |
| DDoS defense by offense M Walfish, M Vutukuru, H Balakrishnan, D Karger, S Shenker ACM Transactions on Computer Systems (TOCS) 28 (1), 3, 2010 | 81 | 2010 |
| The nebula future internet architecture T Anderson, K Birman, R Broberg, M Caesar, D Comer, C Cotton, ... The Future Internet: Future Internet Assembly 2013: Validated Results and …, 2013 | 80 | 2013 |
