@inproceedings {295703,
	author = {Collin Zhang and Zachary DeStefano and Arasu Arun and Joseph Bonneau and Paul Grubbs and Michael Walfish},
	title = {Zombie: Middleboxes that {Don{\textquoteright}t} Snoop},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/nsdi24/presentation/zhang-collin},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {280026,
	author = {Paul Grubbs and Arasu Arun and Ye Zhang and Joseph Bonneau and Michael Walfish},
	title = {{Zero-Knowledge} Middleboxes},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {4255--4272},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/grubbs},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {258882,
	author = {Cheng Tan and Changgeng Zhao and Shuai Mu and Michael Walfish},
	title = {Cobra: Making Transactional {Key-Value} Stores Verifiably Serializable},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {63--80},
	url = {https://www.usenix.org/conference/osdi20/presentation/tan},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {197175,
	author = {Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish},
	title = {Defending against Malicious Peripherals with Cinch},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {397--414},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/angel},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {194912,
	author = {Trinabh Gupta and Natacha Crooks and Whitney Mulhern and Srinath Setty and Lorenzo Alvisi and Michael Walfish},
	title = {Scalable and Private Media Consumption with Popcorn},
	booktitle = {13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)},
	year = {2016},
	isbn = {978-1-931971-29-4},
	address = {Santa Clara, CA},
	pages = {91--107},
	url = {https://www.usenix.org/conference/nsdi16/technical-sessions/presentation/gupta-trinabh},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {180327,
	author = {Trinabh Gupta and Joshua B. Leners and Marcos K. Aguilera and Michael Walfish},
	title = {Improving Availability in Distributed Systems with Failure Informers},
	booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)},
	year = {2013},
	isbn = {978-1-931971-00-3},
	address = {Lombard, IL},
	pages = {427--441},
	url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/leners},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {180216,
	author = {Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish},
	title = {Taking {Proof-Based} Verified Computation a Few Steps Closer to Practicality},
	booktitle = {21st USENIX Security Symposium (USENIX Security 12)},
	year = {2012},
	isbn = {978-931971-95-9},
	address = {Bellevue, WA},
	pages = {253--268},
	url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {180870,
	author = {Lon ingram and Michael Walfish},
	title = {Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves},
	booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
	year = {2012},
	isbn = {978-931971-93-5},
	address = {Boston, MA},
	pages = {153--164},
	url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/ingram},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266905,
	author = {Lon ingram and Ivaylo Popov and Srinath Setty and Michael Walfish},
	title = {Repair from a Chair: Computer Repair as an Untrusted Cloud Service},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/repair-chair-computer-repair-untrusted-cloud-service},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267131,
	author = {Prince Mahajan and Srinath Setty and Sangmin Lee and Allen Clement and Lorenzo Alvisi and Mike Dahlin and Michael Walfish},
	title = {Depot: Cloud Storage with Minimal Trust},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/depot-cloud-storage-minimal-trust},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {267741,
	author = {Marcos K. Aguilera and Michael Walfish},
	title = {No Time for Asynchrony},
	booktitle = {12th Workshop on Hot Topics in Operating Systems (HotOS XII)},
	year = {2009},
	address = {Monte Verit{\`a}, Switzerland},
	url = {https://www.usenix.org/conference/hotos-xii/no-time-asynchrony},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {269015,
	author = {Michael Walfish and J.D. Zamfirescu and Hari Balakrishnan and David Karger and Scott Shenker},
	title = {Distributed Quota Enforcement for Spam Control},
	booktitle = {3rd Symposium on Networked Systems Design \& Implementation (NSDI 06)},
	year = {2006},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi-06/distributed-quota-enforcement-spam-control},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {269488,
	author = {Michael Walfish and Jeremy Stribling and Maxwell Krohn and Hari Balakrishnan and Robert Morris and Scott Shenker},
	title = {Middleboxes No Longer Considered Harmful},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/middleboxes-no-longer-considered-harmful},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {270027,
	author = {Michael Walfish and Scott Shenker},
	title = {Untangling the Web from {DNS}},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/untangling-web-dns},
	publisher = {USENIX Association},
	month = mar
}
