Michael Walfish

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 20

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

IEEE Symposium on Security and Privacy

SOSP

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
Zombie: Middleboxes that Don't Snoop. NSDI (2024)
Ioanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish
Efficient Auditing of Event-driven Web Applications. EuroSys (2024)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. SP (2023)
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
Zombie: Middleboxes that Don't Snoop. IACR Cryptol. ePrint Arch. 2023 (2023)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish
Zero-Knowledge Middleboxes. USENIX Security Symposium (2022)
Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish
Zero-Knowledge Middleboxes. IACR Cryptol. ePrint Arch. 2021 (2021)
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
Cobra: Making Transactional Key-Value Stores Verifiably Serializable. OSDI (2020)
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
Detecting Incorrect Behavior of Cloud Databases as an Outsider. CoRR (2019)
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
Doubly-Efficient zkSNARKs Without Trusted Setup. IEEE Symposium on Security and Privacy (2018)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full Accounting for Verifiable Outsourcing. CCS (2017)
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
Doubly-efficient zkSNARKs without trusted setup. IACR Cryptol. ePrint Arch. 2017 (2017)
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish
Pretzel: Email encryption and provider-supplied functions are compatible. SIGCOMM (2017)
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. SOSP (2017)
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. CoRR (2017)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full accounting for verifiable outsourcing. IACR Cryptol. ePrint Arch. 2017 (2017)
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish
Pretzel: Email encryption and provider-supplied functions are compatible. CoRR (2016)
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
Verifiable ASICs. IEEE Symposium on Security and Privacy (2016)
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish
Defending against Malicious Peripherals with Cinch. USENIX Security Symposium (2016)
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
Scalable and Private Media Consumption with Popcorn. NSDI (2016)
Trinabh Gupta, Natacha Crooks, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
Scalable and private media consumption with Popcorn. IACR Cryptol. ePrint Arch. 2015 (2015)
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, Michael Walfish
Taming uncertainty in distributed systems with help from the network. EuroSys (2015)
Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish
Yesquel: Scalable SQL storage for Web applications. ICDCN (2015)
Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish
Harmful devices considered harmless. CoRR (2015)
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
Verifiable ASICs. IACR Cryptol. ePrint Arch. 2015 (2015)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. NDSS (2015)
Michael Walfish, Andrew J. Blumberg
Verifying computations without reexecuting them. Commun. ACM 58 (2) (2015)
Marcos K. Aguilera, Joshua B. Leners, Michael Walfish
Yesquel: scalable sql storage for web applications. SOSP (2015)
Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish
Verifiable computation using multiple provers. IACR Cryptol. ePrint Arch. 2014 (2014)
Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo
A brief overview of the NEBULA future internet architecture. Comput. Commun. Rev. 44 (3) (2014)
Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish
Yesquel: scalable SQL storage for Web applications. CoRR (2014)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo
The NEBULA Future Internet Architecture. Future Internet Assembly (2013)
Michael Walfish, Andrew J. Blumberg
Verifying computations without reexecuting them: from theoretical possibility to near-practicality. Electron. Colloquium Comput. Complex. 20 (2013)
Sebastian Angel, Michael Walfish
Verifiable auctions for online ad exchanges. SIGCOMM (2013)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. SOSP (2013)
Michael Walfish
Verifying the correctness of remote executions: from wild implausibility to near practicality. HotDep (2013)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. IACR Cryptol. ePrint Arch. 2013 (2013)
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)
Trinabh Gupta, Joshua B. Leners, Marcos K. Aguilera, Michael Walfish
Improving Availability in Distributed Systems with Failure Informers. NSDI (2013)
Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
A Hybrid Architecture for Interactive Verifiable Computation. IEEE Symposium on Security and Privacy (2013)
Lon Ingram, Michael Walfish
Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves. USENIX Annual Technical Conference (2012)
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. USENIX Security Symposium (2012)
Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Making argument systems for outsourced computation practical (sometimes). NDSS (2012)
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 Cryptol. ePrint Arch. 2012 (2012)
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 Cryptol. ePrint Arch. 2012 (2012)
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)
John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong
The web interface should be radically refactored. HotNets (2011)
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) (2011)
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra
Verifying and enforcing network paths with icing. CoNEXT (2011)
Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish
Repair from a Chair: Computer Repair as an Untrusted Cloud Service. HotOS (2011)
Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker
DDoS defense by offense. ACM Trans. Comput. Syst. 28 (1) (2010)
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
Depot: Cloud Storage with Minimal Trust. OSDI (2010)
Marcos Kawazoe Aguilera, Michael Walfish
No Time for Asynchrony. HotOS (2009)
Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio Nicolosi, Scott Shenker
A Policy Framework for the Future Internet. HotNets (2009)
Micah Z. Brodsky, Maxwell N. Krohn, Robert Tappan Morris, Michael Walfish, Alexander Yip
World Wide Web Without Walls. HotNets (2007)
Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker
DDoS defense by offense. SIGCOMM (2006)
Michael Walfish, J. D. Zamfirescu, Hari Balakrishnan, David R. Karger, Scott Shenker
Distributed Quota Enforcement for Spam Control. NSDI (2006)
Hari Balakrishnan, Scott Shenker, Michael Walfish
Peering Peer-to-Peer Providers. IPTPS (2005)
Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, Michael Walfish
A layered naming architecture for the internet. SIGCOMM (2004)
Michael Walfish, Hari Balakrishnan
Untangling the Web from DNS. NSDI (2004)
Michael Walfish, Jeremy Stribling, Maxwell N. Krohn, Hari Balakrishnan, Robert Tappan Morris, Scott Shenker
Middleboxes No Longer Considered Harmful. OSDI (2004)
Hari Balakrishnan, Scott Shenker, Michael Walfish
Semantic-Free Referencing in Linked Distributed Systems. IPTPS (2003)

Michael Walfish.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Walfish