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)