Follow
Michael Walfish
Michael Walfish
Professor of Computer Science, NYU
Verified email at cs.nyu.edu
Title
Cited by
Cited by
Year
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
4552004
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
4032011
Untangling the Web from DNS.
M Walfish, H Balakrishnan, S Shenker
NSDI 4, 17-17, 2004
3782004
DDoS defense by offense
M Walfish, M Vutukuru, H Balakrishnan, D Karger, S Shenker
Proceedings of the 2006 conference on Applications, technologies …, 2006
2962006
Middleboxes No Longer Considered Harmful.
M Walfish, J Stribling, MN Krohn, H Balakrishnan, RT Morris, S Shenker
OSDI 4, 15-15, 2004
2642004
Verifying computations without reexecuting them: from theoretical possibility to near-practicality
M Walfish, A Blumberg
Electronic Colloquium on Computational Complexity, 2013
225*2013
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
2152018
Making argument systems for outsourced computation practical (sometimes).
STV Setty, R McPherson, AJ Blumberg, M Walfish
NDSS 1 (9), 17, 2012
2022012
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
2012013
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
1902012
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
1782014
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
1682013
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
1672011
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
1492013
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
1342011
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
942016
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
812010
DDoS defense by offense
M Walfish, M Vutukuru, H Balakrishnan, D Karger, S Shenker
ACM Transactions on Computer Systems (TOCS) 28 (1), 3, 2010
812010
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
792013
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
762017
The system can't perform the operation now. Try again later.
Articles 1–20