Michael Walfish

According to our database, Michael Walfish authored at least 51 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

NOPE: Strengthening domain authentication with succinct proofs.

Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Efficient Auditing of Event-driven Web Applications.

Ioanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

Zombie: Middleboxes that Don't Snoop.

Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish

IACR Cryptol. ePrint Arch., 2023

2022

Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies

IACR Cryptol. ePrint Arch., 2022

2021

Zero-Knowledge Middleboxes.

Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish

IACR Cryptol. ePrint Arch., 2021

2020

Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Detecting Incorrect Behavior of Cloud Databases as an Outsider.

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

CoRR, 2019

2017

Doubly-efficient zkSNARKs without trusted setup.

Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish

IACR Cryptol. ePrint Arch., 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

The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.

Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Pretzel: Email encryption and provider-supplied functions are compatible.

Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

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

Proceedings of the 25th USENIX Security Symposium, 2016

Scalable and Private Media Consumption with Popcorn.

Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

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, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish

IACR Cryptol. ePrint Arch., 2015

Harmful devices considered harmless.

Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish

CoRR, 2015

Verifying computations without reexecuting them.

Michael Walfish, Andrew J. Blumberg

Commun. ACM, 2015

Yesquel: scalable sql storage for web applications.

Marcos K. Aguilera, Joshua B. Leners, Michael Walfish

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Yesquel: Scalable SQL storage for Web applications.

Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Taming uncertainty in distributed systems with help from the network.

Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, Michael Walfish

Proceedings of the Tenth European Conference on Computer Systems, 2015

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

Verifiable computation using multiple provers.

Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish

IACR Cryptol. ePrint Arch., 2014

A brief overview of the NEBULA future internet architecture.

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

Comput. Commun. Rev., 2014

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

Verifying computations without reexecuting them: from theoretical possibility to near-practicality.

Michael Walfish, Andrew J. Blumberg

Electron. Colloquium Comput. Complex., 2013

A Hybrid Architecture for Interactive Verifiable Computation.

Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Verifiable auctions for online ad exchanges.

Sebastian Angel, Michael Walfish

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Improving Availability in Distributed Systems with Failure Informers.

Trinabh Gupta, Joshua B. Leners, Marcos K. Aguilera, Michael Walfish

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Verifying the correctness of remote executions: from wild implausibility to near practicality.

Michael Walfish

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

The NEBULA Future Internet Architecture.

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

Proceedings of the Future Internet, 2013

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

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.

Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves.

Lon Ingram, Michael Walfish

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Making argument systems for outsourced computation practical (sometimes).

Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

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

Detecting failures in distributed systems with the Falcon spy network.

Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Repair from a Chair: Computer Repair as an Untrusted Cloud Service.

Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

The web interface should be radically refactored.

John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Verifying and enforcing network paths with icing.

Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra

Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, 2011

2010

DDoS defense by offense.

Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker

ACM Trans. Comput. Syst., 2010

2009

No Time for Asynchrony.

Marcos Kawazoe Aguilera, Michael Walfish

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

A Policy Framework for the Future Internet.

Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio Nicolosi, Scott Shenker

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

2007

Defending networked resources against floods of unwelcome requests.

Michael Walfish

PhD thesis, 2007

World Wide Web Without Walls.

Micah Z. Brodsky, Maxwell N. Krohn, Robert Morris, Michael Walfish, Alexander Yip

Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007

2006

Distributed Quota Enforcement for Spam Control.

Michael Walfish, J. D. Zamfirescu, Hari Balakrishnan, David R. Karger, Scott Shenker

Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

2005

Peering Peer-to-Peer Providers.

Hari Balakrishnan, Scott Shenker, Michael Walfish

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

2004

A layered naming architecture for the internet.

Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, Michael Walfish

Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

Middleboxes No Longer Considered Harmful.

Michael Walfish, Jeremy Stribling, Maxwell N. Krohn, Hari Balakrishnan, Robert Morris, Scott Shenker

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Untangling the Web from DNS.

Michael Walfish, Hari Balakrishnan

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003

Semantic-Free Referencing in Linked Distributed Systems.

Hari Balakrishnan, Scott Shenker, Michael Walfish

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003