security publications

Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee
In OSDI 2018 - bibtex
Obladi: Oblivious serializable transactions in the cloud
Natacha Crooks, Matthew Burke, Sitar Harel, Ethan Cecchetti, Rachit Agarwal, and Lorenzo Alvisi
In OSDI 2018 - bibtex
PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty
In S&P (Oakland) 2018 - bibtex
Pretzel: Email encryption and provider-supplied functions are compatible
Trinabh Gupta, Henrique Fingler, Lorenzo Alvisi, and Michael Walfish
In SIGCOMM 2017 - bibtex
Unobservable communication over fully untrusted infrastructure
Sebastian Angel and Srinath Setty
In OSDI 2016 - bibtex
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel
In OSDI 2016 (award paper) - bibtex
Defending against malicious peripherals with Cinch
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2016 - bibtex
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Youngjin Kwon, Alan M. Dunn, Michael Z. Lee, Owen Hofmann, Yuanzhong Xu, and Emmett Witchel
In ASPLOS 2016 - bibtex
Earp: Principled Storage, Sharing, and Protection for Mobile Apps
Yuanzhong Xu, Tyler Hunt, Youngjin Kwon, Martin Georgiev, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2016 - bibtex
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, and Michael Walfish
In NSDI 2016 - bibtex
Maxoid: Transparently Confining Mobile Applications with Custom Views of State
Yuanzhong Xu and Emmett Witchel
In EuroSys 2015 - bibtex
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng (Andy) Ren, Andrew J. Blumberg, and Michael Walfish
In NDSS 2015 - bibtex
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, and Marcus Peinado
In S&P (Oakland) 2015 - bibtex
Application-Defined Decentralized Access Control
Yuanzhong Xu, Alan M. Dunn, Owen Hofmann, Michael Z. Lee, Syed Akbar Mehdi, and Emmett Witchel
In USENIX ATC 2014 - pdf :: bibtex
Bolt: Data Management for Connected Homes
Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan
In NSDI 2014 - pdf :: slides :: bibtex
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng (Andy) Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In SOSP 2013 - pdf :: slides :: bibtex
ViceROI: Catching Click-Spam in Search Ad Networks
Vacha Dave, Saikat Guha, and Yin Zhang
In CCS 2013 - pdf :: bibtex
Towards a storage system for connected homes
Trinabh Gupta, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan
In LADIS 2013 - pdf :: bibtex
Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 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
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
Measuring and Fingerprinting Click-Spam in Ad Networks
Vacha Dave, Saikat Guha, and Yin Zhang
In SIGCOMM 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