::
front page
››
view
researchers
::
contact
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