Michael Walfish

Adjunct Professor
Michael Walfish is an associate professor in the Computer Science department in the Courant Institute at New York University (NYU), which he joined in 2014. Prior to that, he was an assistant professor in the Computer Science department at The University of Texas at Austin, which he joined in 2009. His research interests are in systems, security, and networking. He has worked on untrusted peripherals, untrusted computation, untrusted storage, failure detection in distributed systems, naming, network architecture, verifiable auctions, and denial-of-service defense. His honors include paper awards at SOSP (2017) and IEEE S&P (2016), Sloan Research Fellow (2012), NSF CAREER (2011), Air Force Young Investigator (2010), the Intel Early Career Faculty Honor Program, and a Teaching Excellence Award from the UT College of Natural Sciences. He received his B.A. from Harvard and his Ph.D. from MIT, both in Computer Science.

Research

Research Interests: 
  • Untrusted peripherals
  • Untrusted computation
  • Untrusted storage
  • Failure detection in verifiable auctions and denial-of-service defense

Select Publications

Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish. May 20 2018. Doubly-efficient zkSNARKs without trusted setup. IEEE.
Riad S Wahby, Ye Ji, Andrew J Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies. October 30 2017. Full accounting for verifiable outsourcing. ACM. 2071-2086.
Cheng Tan, Lingfan Yu, Joshua B Leners, Michael Walfish. October 14 2017. The efficient server audit problem, deduplicated re-execution, and the Web. ACM. 546-564.
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish. August 7 2017. Pretzel: Email encryption and provider-supplied functions are compatible. ACM. 169-182.
RS Wahby, Max Howald, Siddharth Garg, abhi shelat, Michael Walfish. May 2016. Verifiable ASICs. IEEE Symposium on Security and Privacy.

Awards & Honors

2011 - Best talk, HotOS
2011 - NSF CAREER
2010 - Air Force Young Investigator
2009-2012 - Faculty Fellowship #4, Department of Computer Science, UT Austin
2003-2006 - National Defense Science and Engineering Graduate (NDSEG) Fellowship
2003 - National Science Foundation Graduate Research Fellowship
2002-2003 - MIT Presidential Fellowship
1997 - Phi Beta Kappa
1997 - Certificate of Distinction in Teaching (for “Introduction to Computer Science” at Harvard)
1994-1998 - John Harvard Scholarship (honorary)