security publications

Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 2013 - 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
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
πBox: A Platform for Privacy-Preserving Apps
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov
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
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
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
TreeHouse: JavaScript sandboxes to help Web developers help themselves
Lon Ingram and Michael Walfish
In USENIX ATC 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
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
Ensuring Operating System Kernel Integrity with OSck
Owen Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, and Emmett Witchel
In ASPLOS 2011 - pdf :: bibtex
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2010 - 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