publications

Currently showing all publications. View publications on distributed systems, game theory, operating systems, security, wireless networking or networking.
Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 2013 - pdf :: bibtex
What's a Little Collusion Between Friends?
Edmund L. Wong and Lorenzo Alvisi
In PODC 2013 - pdf :: bibtex
Anon-Pass: Practical Anonymous Subscriptions
Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, and Emmett Witchel
In S&P (Oakland) 2013 - pdf :: bibtex
SoK: The Evolution of Sybil Defense via Social Networks
Lorenzo Alvisi, Allen Clement, Alessandro Epasto, Silvio Lattanzi, and Alessandro Panconesi
In S&P (Oakland) 2013 - pdf :: bibtex
A hybrid architecture for interactive verifiable computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In S&P (Oakland) 2013 - pdf :: bibtex
πBox: A Platform for Privacy-Preserving Apps
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov
In NSDI 2013 - pdf :: bibtex
Robustness in the Salus scalable block store
Yang Wang, Manos Kapritsos, Zuocheng (Andy) Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, and Mike Dahlin
In NSDI 2013 - pdf :: bibtex
Improving availability in distributed systems with failure informers
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
In NSDI 2013 - pdf :: bibtex
Resolving the conflict between generality and plausibility in verified computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, and Michael Walfish
In EuroSys 2013 - pdf :: bibtex
Event Detection using Customer Care Calls
Yi-Chao Chen, Gene Moo Lee, Nick Duffield, Lili Qiu, and Jia Wang
In Infocom 2013 - bibtex
InkTag: Secure Applications on an Untrusted Operating System
Owen Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, and Emmett Witchel
In ASPLOS 2013 - pdf :: bibtex
GPUfs: Integrating a File System with GPUs
Mark Silberstein, Bryan Ford, Idit Keidar, and Emmett Witchel
In ASPLOS 2013 - pdf :: bibtex
All about Eve: Execute-Verify Replication for Multi-Core Servers
Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2012 - pdf :: slides :: bibtex
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, and Emmett Witchel
In OSDI 2012 - pdf :: bibtex
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2012 - pdf :: bibtex
Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication
Yang Wang, Lorenzo Alvisi, and Mike Dahlin
In USENIX ATC 2012 - pdf :: bibtex
TreeHouse: JavaScript sandboxes to help Web developers help themselves
Lon Ingram and Michael Walfish
In USENIX ATC 2012 - pdf :: bibtex
Improving Server Applications with System Transactions
Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen Hofmann, Xuan Wang, Emmett Witchel, and Donald E. Porter
In EuroSys 2012 - pdf :: bibtex
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
In NDSS 2012 - pdf :: bibtex
Verifying and enforcing network paths with ICING
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, and Arun Seehra
In CoNEXT 2011 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In TOCS 29(4), December 2011 - pdf :: bibtex
Regret Freedom Isn't Free
Edmund L. Wong, Allen Clement, Isaac Levy, Lorenzo Alvisi, and Mike Dahlin
In OPODIS 2011 - pdf :: bibtex
Detecting failures in distributed systems with the FALCON spy network
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos K. Aguilera, and Michael Walfish
In SOSP 2011 - pdf :: bibtex
CRMA: Collision-Resistant Multiple Access
Tianji Li, Mi Kyung Han, Apurv Bhartia, Lili Qiu, Eric Rozner, Yin Zhang, and Brad Zarikoff
In MobiCom 2011 - pdf :: bibtex
Harnessing Frequency Diversity in Wi-Fi Networks
Apurv Bhartia, Yi-Chao Chen, Swati Rallapalli, and Lili Qiu
In MobiCom 2011 - pdf :: bibtex
Cloaking Malware with the Trusted Platform Module
Alan M. Dunn, Owen Hofmann, Brent Waters, and Emmett Witchel
In USENIX Security 2011 - pdf :: bibtex
Get Off My Prefix! The Need for Dynamic, Gerontocratic Policies in Inter-domain Routing
Edmund L. Wong and Vitaly Shmatikov
In DSN 2011 - pdf :: bibtex
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
O3: Optimized Overlay-Based Opportunistic Routing
Mi Kyung Han, Apurv Bhartia, Lili Qiu, and Eric Rozner
In MobiHoc 2011 - pdf :: bibtex
Ensuring Operating System Kernel Integrity with OSck
Owen Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, and Emmett Witchel
In ASPLOS 2011 - pdf :: bibtex
Scalable agreement: Toward ordering as a service
Manos Kapritsos and Flavio P. Junqueira
In HotDep 2010 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In OSDI 2010 - pdf :: bibtex
It's on Me! The Benefit of Altruism in BAR Environments
Edmund L. Wong, Joshua B. Leners, and Lorenzo Alvisi
In DISC 2010 - pdf :: bibtex
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2010 - pdf :: bibtex
Have Your Cake and Eat It Too! Enabling Frequency Diversity Through Opportunism
Edmund L. Wong and Sangmin Lee
In CoNEXT SWS 2010 - pdf :: bibtex
SOAR: Simple Opportunistic Adaptive Routing Protocol for Wireless Mesh Networks
Eric Rozner, Jayesh Seshadri, Yogita Ashok Mehta, and Lili Qiu
In TMC 8(), December 2009 - pdf :: bibtex
UpRight Cluster Services
Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Mike Dahlin, and Taylor Riché
In SOSP 2009 - pdf :: bibtex
Fast Resilient Jumbo Frames in Wireless LANs
Anand Padmanabha Iyer, Gaurav Deshpande, Eric Rozner, Apurv Bhartia, and Lili Qiu
In IWQoS 2009 - pdf :: bibtex
Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults
Allen Clement, Mirco Marchetti, Edmund L. Wong, Lorenzo Alvisi, and Mike Dahlin
In NSDI 2009 - pdf :: bibtex
FlightPath: Obedience vs. Choice in Cooperative Services
Harry Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2008 - pdf :: bibtex
Zyzzyva: Speculative Byzantine Fault Tolerance
Ramakrishna Kotla, Allen Clement, Edmund L. Wong, Lorenzo Alvisi, and Mike Dahlin
In CACM 51(11), November 2008 - pdf :: bibtex
Improving the Interaction between Overlay Routing and Traffic Engineering
Gene Moo Lee and Taehwan Choi
In Networking 2008 - pdf :: bibtex
Zyzzyva: Speculative Byzantine Fault Tolerance
Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, and Edmund L. Wong
In SOSP 2007 (award paper) - pdf :: bibtex
Truth in Advertising: Lightweight Verification of Route Integrity
Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed Gouda, and Vitaly Shmatikov
In PODC 2007 - pdf :: bibtex
BAR Gossip
Harry Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, and Mike Dahlin
In OSDI 2006 - pdf :: bibtex
BAR Fault Tolerance for Cooperative Services
Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Mike Dahlin, Jean-Philippe Martin, and Carl Porth
In SOSP 2005 (award paper) - pdf :: bibtex
Improving Sketch Reconstruction Accuracy Using Linear Least Square Method
Gene Moo Lee, Huiya Liu, Young Yoon, and Yin Zhang
In IMC 2005 - pdf :: bibtex