Michael Walfish

67 papers A* 22A 6Misc 10Journal 23Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
NOPE: Strengthening domain authentication with succinct proofs.
IACR Cryptol. ePrint Arch.
Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish
2024 A conf
Efficient Auditing of Event-driven Web Applications.
EuroSys
Ioanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish
2024 A* conf
NOPE: Strengthening domain authentication with succinct proofs.
SOSP
Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish
2024 Misc conf
Zombie: Middleboxes that Don't Snoop.
NSDI
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
2023 A* conf
Less is more: refinement proofs for probabilistic proofs.
SP
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
2023 J jnl
Zombie: Middleboxes that Don't Snoop.
IACR Cryptol. ePrint Arch.
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
2022 J jnl
Less is more: refinement proofs for probabilistic proofs.
IACR Cryptol. ePrint Arch.
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
2022 A* conf
Zero-Knowledge Middleboxes.
USENIX Security Symposium
Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish
2021 J jnl
Zero-Knowledge Middleboxes.
IACR Cryptol. ePrint Arch.
Paul Grubbs, Arasu Arun, Ye Zhang, Joseph Bonneau, Michael Walfish
2020 A* conf
Cobra: Making Transactional Key-Value Stores Verifiably Serializable.
OSDI
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
2019 J jnl
Detecting Incorrect Behavior of Cloud Databases as an Outsider.
CoRR
Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
2018 A* conf
Doubly-Efficient zkSNARKs Without Trusted Setup.
IEEE Symposium on Security and Privacy
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2017 J jnl
Doubly-efficient zkSNARKs without trusted setup.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2017 A* conf
Full Accounting for Verifiable Outsourcing.
CCS
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017 J jnl
Full accounting for verifiable outsourcing.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017 A* conf
Pretzel: Email encryption and provider-supplied functions are compatible.
SIGCOMM
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish
2017 Misc ed.
Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, HotNets 2017, November 30 - December 01, 2017
HotNets
Sujata Banerjee, Brad Karp, Michael Walfish
2017 A* conf
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.
SOSP
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
2017 J jnl
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web.
CoRR
Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish
2016 A* conf
Defending against Malicious Peripherals with Cinch.
USENIX Security Symposium
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish
2016 J jnl
Pretzel: Email encryption and provider-supplied functions are compatible.
CoRR
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish
2016 Misc conf
Scalable and Private Media Consumption with Popcorn.
NSDI
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
2016 A* conf
Verifiable ASICs.
IEEE Symposium on Security and Privacy
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
2015 A* conf
Efficient RAM and control flow in verifiable outsourced computation.
NDSS
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
2015 J jnl
Harmful devices considered harmless.
CoRR
Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish
2015 J jnl
Scalable and private media consumption with Popcorn.
IACR Cryptol. ePrint Arch.
Trinabh Gupta, Natacha Crooks, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
2015 A conf
Taming uncertainty in distributed systems with help from the network.
EuroSys
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, Michael Walfish
2015 J jnl
Verifiable ASICs.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
2015 J jnl
Verifying computations without reexecuting them.
Commun. ACM
Michael Walfish, Andrew J. Blumberg
2015 Misc conf
Yesquel: Scalable SQL storage for Web applications.
ICDCN
Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish
2015 A* conf
Yesquel: scalable sql storage for web applications.
SOSP
Marcos K. Aguilera, Joshua B. Leners, Michael Walfish
2014 J jnl
A brief overview of the NEBULA future internet architecture.
Comput. Commun. Rev.
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
2014 J jnl
Efficient RAM and control flow in verifiable outsourced computation.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
2014 J jnl
Verifiable computation using multiple provers.
IACR Cryptol. ePrint Arch.
Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish
2014 J jnl
Yesquel: scalable SQL storage for Web applications.
CoRR
Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish
2013 A* conf
A Hybrid Architecture for Interactive Verifiable Computation.
IEEE Symposium on Security and Privacy
Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 Misc conf
Improving Availability in Distributed Systems with Failure Informers.
NSDI
Trinabh Gupta, Joshua B. Leners, Marcos K. Aguilera, Michael Walfish
2013 A conf
Resolving the conflict between generality and plausibility in verified computation.
EuroSys
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2013 — conf
The NEBULA Future Internet Architecture.
Future Internet Assembly
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
2013 A* conf
Verifiable auctions for online ad exchanges.
SIGCOMM
Sebastian Angel, Michael Walfish
2013 A* conf
Verifying computations with state.
SOSP
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 J jnl
Verifying computations with state.
IACR Cryptol. ePrint Arch.
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 J jnl
Verifying computations without reexecuting them: from theoretical possibility to near-practicality.
Electron. Colloquium Comput. Complex.
Michael Walfish, Andrew J. Blumberg
2013 — conf
Verifying the correctness of remote executions: from wild implausibility to near practicality.
HotDep
Michael Walfish
2012 A* conf
Making argument systems for outsourced computation practical (sometimes).
NDSS
Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Resolving the conflict between generality and plausibility in verified computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2012 A* conf
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
USENIX Security Symposium
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Taking proof-based verified computation a few steps closer to practicality (extended version).
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2012 — conf
Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves.
USENIX ATC
Lon Ingram, Michael Walfish
2011 J jnl
Depot: Cloud Storage with Minimal Trust.
ACM Trans. Comput. Syst.
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
2011 A* conf
Detecting failures in distributed systems with the Falcon spy network.
SOSP
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish
2011 A conf
Repair from a Chair: Computer Repair as an Untrusted Cloud Service.
HotOS
Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish
2011 Misc conf
The web interface should be radically refactored.
HotNets
John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong
2011 A conf
Verifying and enforcing network paths with icing.
CoNEXT
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra
2010 J jnl
DDoS defense by offense.
ACM Trans. Comput. Syst.
Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker
2010 A* conf
Depot: Cloud Storage with Minimal Trust.
OSDI
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
2009 Misc conf
A Policy Framework for the Future Internet.
HotNets
Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio Nicolosi, Scott Shenker
2009 A conf
No Time for Asynchrony.
HotOS
Marcos Kawazoe Aguilera, Michael Walfish
2007 — —
Defending networked resources against floods of unwelcome requests.
Michael Walfish
2007 Misc conf
World Wide Web Without Walls.
HotNets
Micah Z. Brodsky, Maxwell N. Krohn, Robert Morris, Michael Walfish, Alexander Yip
2006 A* conf
DDoS defense by offense.
SIGCOMM
Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker
2006 Misc conf
Distributed Quota Enforcement for Spam Control.
NSDI
Michael Walfish, J. D. Zamfirescu, Hari Balakrishnan, David R. Karger, Scott Shenker
2005 — conf
Peering Peer-to-Peer Providers.
IPTPS
Hari Balakrishnan, Scott Shenker, Michael Walfish
2004 A* conf
A layered naming architecture for the internet.
SIGCOMM
Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, Michael Walfish
2004 A* conf
Middleboxes No Longer Considered Harmful.
OSDI
Michael Walfish, Jeremy Stribling, Maxwell N. Krohn, Hari Balakrishnan, Robert Morris, Scott Shenker
2004 Misc conf
Untangling the Web from DNS.
NSDI
Michael Walfish, Hari Balakrishnan
2003 — conf
Semantic-Free Referencing in Linked Distributed Systems.
IPTPS
Hari Balakrishnan, Scott Shenker, Michael Walfish