Michael Walfish
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
13
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EuroSys | Efficient Auditing of Event-driven Web Applications. | Ioanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish |
| 2024 | NSDI | Zombie: Middleboxes that Don't Snoop. | Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish |
| 2024 | SOSP | NOPE: Strengthening domain authentication with succinct proofs. | Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish |
| 2023 | SP | Less is more: refinement proofs for probabilistic proofs. | Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies |
| 2020 | OSDI | Cobra: Making Transactional Key-Value Stores Verifiably Serializable. | Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish |
| 2018 | SP | Doubly-Efficient zkSNARKs Without Trusted Setup. | Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish |
| 2017 | CCS | Full Accounting for Verifiable Outsourcing. | Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies |
| 2017 | SIGCOMM | Pretzel: Email encryption and provider-supplied functions are compatible. | Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, Michael Walfish |
| 2017 | SOSP | The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. | Cheng Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish |
| 2016 | NSDI | Scalable and Private Media Consumption with Popcorn. | Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish |
| 2016 | SP | Verifiable ASICs. | Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish |
| 2015 | EuroSys | Taming uncertainty in distributed systems with help from the network. | Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, Michael Walfish |
| 2015 | ICDCN | Yesquel: Scalable SQL storage for Web applications. | Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish |
| 2015 | NDSS | Efficient RAM and control flow in verifiable outsourced computation. | Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish |
| 2015 | SOSP | Yesquel: scalable sql storage for web applications. | Marcos K. Aguilera, Joshua B. Leners, Michael Walfish |
| 2013 | EuroSys | 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 |
| 2013 | NSDI | Improving Availability in Distributed Systems with Failure Informers. | Trinabh Gupta, Joshua B. Leners, Marcos K. Aguilera, Michael Walfish |
| 2013 | SIGCOMM | Verifiable auctions for online ad exchanges. | Sebastian Angel, Michael Walfish |
| 2013 | SP | A Hybrid Architecture for Interactive Verifiable Computation. | Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
| 2013 | SOSP | Verifying computations with state. | Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
| 2012 | NDSS | Making argument systems for outsourced computation practical (sometimes). | Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish |
| 2012 | USENIX | Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves. | Lon Ingram, Michael Walfish |
| 2011 | CoNEXT | Verifying and enforcing network paths with icing. | Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazires, Michael Miller, Arun Seehra |
| 2011 | HOTNETS | The web interface should be radically refactored. | John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong |
| 2011 | HotOS | Repair from a Chair: Computer Repair as an Untrusted Cloud Service. | Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish |
| 2011 | SOSP | Detecting failures in distributed systems with the Falcon spy network. | Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish |
| 2010 | OSDI | Depot: Cloud Storage with Minimal Trust. | Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish |
| 2009 | HOTNETS | A Policy Framework for the Future Internet. | Arun Seehra, Jad Naous, Michael Walfish, David Mazires, Antonio Nicolosi, Scott Shenker |
| 2009 | HotOS | No Time for Asynchrony. | Marcos Kawazoe Aguilera, Michael Walfish |
| 2007 | HOTNETS | World Wide Web Without Walls. | Micah Z. Brodsky, Maxwell N. Krohn, Robert Morris, Michael Walfish, Alexander Yip |
| 2006 | NSDI | Distributed Quota Enforcement for Spam Control. | Michael Walfish, J. D. Zamfirescu, Hari Balakrishnan, David R. Karger, Scott Shenker |
| 2006 | SIGCOMM | DDoS defense by offense. | Michael Walfish, Mythili Vutukuru, Hari Balakrishnan, David R. Karger, Scott Shenker |
| 2004 | NSDI | Untangling the Web from DNS. | Michael Walfish, Hari Balakrishnan |
| 2004 | OSDI | Middleboxes No Longer Considered Harmful. | Michael Walfish, Jeremy Stribling, Maxwell N. Krohn, Hari Balakrishnan, Robert Morris, Scott Shenker |
| 2004 | SIGCOMM | A layered naming architecture for the internet. | Hari Balakrishnan, Karthik Lakshminarayanan, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, Michael Walfish |