Biblio
Export 14 results:
Filters: Author is Michael Walfish [Clear All Filters]
Zombie: Middleboxes that Don’t Snoop. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1917--1936.
.
2024. Zero-Knowledge Middleboxes. 31st USENIX Security Symposium (USENIX Security 22). :4255--4272.
.
2022. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :63--80.
.
2020. Defending against Malicious Peripherals with Cinch. 25th USENIX Security Symposium (USENIX Security 16). :397--414.
.
2016. Scalable and Private Media Consumption with Popcorn. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :91--107.
.
2016. Improving Availability in Distributed Systems with Failure Informers. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :427--441.
.
2013. Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. 21st USENIX Security Symposium (USENIX Security 12). :253--268.
.
2012. Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves. 2012 USENIX Annual Technical Conference (USENIX ATC 12). :153--164.
.
2012. Repair from a Chair: Computer Repair as an Untrusted Cloud Service. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
.
2011. Depot: Cloud Storage with Minimal Trust. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. No Time for Asynchrony. 12th Workshop on Hot Topics in Operating Systems (HotOS XII).
.
2009. Distributed Quota Enforcement for Spam Control. 3rd Symposium on Networked Systems Design & Implementation (NSDI 06).
.
2006. Middleboxes No Longer Considered Harmful. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004. Untangling the Web from DNS. First Symposium on Networked Systems Design and Implementation (NSDI 04).
.
2004.