Semantic-Free Referencing in Linked Distributed Systems. - Hari Balakrishnan; Scott Shenker; Michael Walfish (IPTPS, 2003)

Untangling the Web from DNS. - Michael Walfish; Hari Balakrishnan (NSDI, 2004)

Middleboxes No Longer Considered Harmful. - Michael Walfish; Jeremy Stribling; Maxwell N. Krohn; Hari Balakrishnan; Robert Morris 005; Scott Shenker (OSDI, 2004)

A layered naming architecture for the internet. - Hari Balakrishnan; Karthik Lakshminarayanan; Sylvia Ratnasamy; Scott Shenker; Ion Stoica; Michael Walfish (SIGCOMM, 2004)

Peering Peer-to-Peer Providers. - Hari Balakrishnan; Scott Shenker; Michael Walfish (IPTPS, 2005)

Distributed Quota Enforcement for Spam Control. - Michael Walfish; J. D. Zamfirescu; Hari Balakrishnan; David R. Karger; Scott Shenker (NSDI, 2006)

World Wide Web Without Walls. - Micah Z. Brodsky; Maxwell N. Krohn; Robert Morris 005; Michael Walfish; Alexander Yip (HotNets, 2007)

Defending networked resources against floods of unwelcome requests. - Michael Walfish (2007)

A Policy Framework for the Future Internet. - Arun Seehra; Jad Naous; Michael Walfish; David Mazières; Antonio Nicolosi; Scott Shenker (HotNets, 2009)

No Time for Asynchrony. - Marcos Kawazoe Aguilera; Michael Walfish (HotOS, 2009)

DDoS defense by offense. - Michael Walfish; Mythili Vutukuru; Hari Balakrishnan; David R. Karger; Scott Shenker (ACM Trans. Comput. Syst., 2010)

Verifying and enforcing network paths with icing. - Jad Naous; Michael Walfish; Antonio Nicolosi; David Mazières; Michael Miller; Arun Seehra (CoNEXT, 2011)

The web interface should be radically refactored. - John R. Douceur; Jon Howell; Bryan Parno; Michael Walfish; Xi Xiong (HotNets, 2011)

Repair from a Chair: Computer Repair as an Untrusted Cloud Service. - Lon Ingram; Ivaylo Popov; Srinath T. V. Setty; Michael Walfish (HotOS, 2011)

Detecting failures in distributed systems with the Falcon spy network. - Joshua B. Leners; Hao Wu; Wei-Lun Hung; Marcos Kawazoe Aguilera; Michael Walfish (SOSP, 2011)

Depot: Cloud Storage with Minimal Trust. - Prince Mahajan; Srinath T. V. Setty; Sangmin Lee; Allen Clement; Lorenzo Alvisi; Michael Dahlin; Michael Walfish (ACM Trans. Comput. Syst., 2011)

Making argument systems for outsourced computation practical (sometimes). - Srinath T. V. Setty; Richard McPherson; Andrew J. Blumberg; Michael Walfish (NDSS, 2012)

Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves. - Lon Ingram; Michael Walfish (USENIX ATC, 2012)

Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2012)

Resolving the conflict between generality and plausibility in verified computation. - Srinath T. V. Setty; Benjamin Braun; Victor Vu; Andrew J. Blumberg; Bryan Parno; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)

Taking proof-based verified computation a few steps closer to practicality (extended version). - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)

The NEBULA Future Internet Architecture. - Tom Anderson 003; Ken Birman; Robert M. Broberg; Matthew Caesar 001; Douglas Comer; Chase Cotton; Michael J. Freedman; Andreas Haeberlen; Zachary G. Ives; Arvind Krishnamurthy; William H. Lehr; Boon Thau Loo; et al. (Future Internet Assembly, 2013)

Verifying the correctness of remote executions: from wild implausibility to near practicality. - Michael Walfish (HotDep, 2013)

Improving Availability in Distributed Systems with Failure Informers. - Trinabh Gupta; Joshua B. Leners; Marcos K. Aguilera; Michael Walfish (NSDI, 2013)

Verifiable auctions for online ad exchanges. - Sebastian Angel; Michael Walfish (SIGCOMM, 2013)

A Hybrid Architecture for Interactive Verifiable Computation. - Victor Vu; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IEEE Symposium on Security and Privacy, 2013)

Verifying computations without reexecuting them: from theoretical possibility to near-practicality. - Michael Walfish; Andrew J. Blumberg (Electron. Colloquium Comput. Complex., 2013)

Verifying computations with state. - Benjamin Braun; Ariel J. Feldman; Zuocheng Ren; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2013)

A brief overview of the NEBULA future internet architecture. - Tom Anderson 003; Ken Birman; Robert M. Broberg; Matthew Caesar 001; Douglas Comer; Chase Cotton; Michael J. Freedman; Andreas Haeberlen; Zachary G. Ives; Arvind Krishnamurthy; William H. Lehr; Boon Thau Loo; et al. (Comput. Commun. Rev., 2014)

Verifiable computation using multiple provers. - Andrew J. Blumberg; Justin Thaler; Victor Vu; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)

Efficient RAM and control flow in verifiable outsourced computation. - Riad S. Wahby; Srinath T. V. Setty; Zuocheng Ren; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)

Taming uncertainty in distributed systems with help from the network. - Joshua B. Leners; Trinabh Gupta; Marcos K. Aguilera; Michael Walfish (EuroSys, 2015)

Yesquel: Scalable SQL storage for Web applications. - Marcos K. Aguilera; Joshua B. Leners; Ramakrishna Kotla; Michael Walfish (ICDCN, 2015)

Yesquel: scalable sql storage for web applications. - Marcos K. Aguilera; Joshua B. Leners; Michael Walfish (SOSP, 2015)

Verifying computations without reexecuting them. - Michael Walfish; Andrew J. Blumberg (Commun. ACM, 2015)

Harmful devices considered harmless. - Riad S. Wahby; Sebastian Angel; Max Howald; Joshua B. Leners; Andrew J. Blumberg; Michael Walfish (CoRR, 2015)

Scalable and private media consumption with Popcorn. - Trinabh Gupta; Natacha Crooks; Srinath T. V. Setty; Lorenzo Alvisi; Michael Walfish (IACR Cryptol. ePrint Arch., 2015)

Verifiable ASICs. - Riad S. Wahby; Max Howald; Siddharth Garg; Abhi Shelat; Michael Walfish (IACR Cryptol. ePrint Arch., 2015)

Scalable and Private Media Consumption with Popcorn. - Trinabh Gupta; Natacha Crooks; Whitney Mulhern; Srinath T. V. Setty; Lorenzo Alvisi; Michael Walfish (NSDI, 2016)

Defending against Malicious Peripherals with Cinch. - Sebastian Angel; Riad S. Wahby; Max Howald; Joshua B. Leners; Michael Spilo; Zhen Sun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2016)

Pretzel: Email encryption and provider-supplied functions are compatible. - Trinabh Gupta; Henrique Fingler; Lorenzo Alvisi; Michael Walfish (SIGCOMM, 2017)

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. - Cheng Tan 005; Lingfan Yu; Joshua B. Leners; Michael Walfish (SOSP, 2017)

Full accounting for verifiable outsourcing. - Riad S. Wahby; Ye Ji; Andrew J. Blumberg; Abhi Shelat; Justin Thaler; Michael Walfish; Thomas Wies (IACR Cryptol. ePrint Arch., 2017)

Doubly-efficient zkSNARKs without trusted setup. - Riad S. Wahby; Ioanna Tzialla; Abhi Shelat; Justin Thaler; Michael Walfish (IACR Cryptol. ePrint Arch., 2017)

Detecting Incorrect Behavior of Cloud Databases as an Outsider. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (CoRR, 2019)

Cobra: Making Transactional Key-Value Stores Verifiably Serializable. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (OSDI, 2020)

Zero-Knowledge Middleboxes. - Paul Grubbs; Arasu Arun; Ye Zhang; Joseph Bonneau; Michael Walfish (IACR Cryptol. ePrint Arch., 2021)

Less is more: refinement proofs for probabilistic proofs. - Kunming Jiang; Devora Chait-Roth; Zachary DeStefano; Michael Walfish; Thomas Wies (IACR Cryptol. ePrint Arch., 2022)

Zombie: Middleboxes that Don't Snoop. - Collin Zhang; Zachary DeStefano; Arasu Arun; Joseph Bonneau; Paul Grubbs; Michael Walfish (IACR Cryptol. ePrint Arch., 2023)

Efficient Auditing of Event-driven Web Applications. - Ioanna Tzialla; Jeffery Wang; Jingyi Zhu; Aurojit Panda; Michael Walfish (EuroSys, 2024)

NOPE: Strengthening domain authentication with succinct proofs. - Zachary DeStefano; Jeff J. Ma; Joseph Bonneau; Michael Walfish (IACR Cryptol. ePrint Arch., 2025)