Biblio

Export 10 results:
Filters: Author is Srinath Setty  [Clear All Filters]
2020
Zhang Y, Setty S, Chen Q, Zhou L, Alvisi L.  2020.  Byzantine Ordered Consensus without Byzantine Oligarchy. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :633--649.
Poddar R, Ananthanarayanan G, Setty S, Volos S, Popa RAda.  2020.  Visor: Privacy-Preserving Video Analytics as a Cloud Service. 29th USENIX Security Symposium (USENIX Security 20). :1039--1056.
2018
Setty S, Angel S, Gupta T, Lee J.  2018.  Proving the correct execution of concurrent services in zero-knowledge. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :339--356.
2017
Bond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L.  2017.  Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
2016
Setty S, Su C, Lorch JR, Zhou L, Chen H, Patel P, Ren J.  2016.  Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :501--516.
Gupta T, Crooks N, Mulhern W, Setty S, Alvisi L, Walfish M.  2016.  Scalable and Private Media Consumption with Popcorn. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :91--107.
Angel S, Setty S.  2016.  Unobservable Communication over Fully Untrusted Infrastructure. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :551--569.
2012
Setty S, Vu V, Panpalia N, Braun B, Blumberg AJ, Walfish M.  2012.  Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. 21st USENIX Security Symposium (USENIX Security 12). :253--268.
2011
ingram L, Popov I, Setty S, Walfish M.  2011.  Repair from a Chair: Computer Repair as an Untrusted Cloud Service. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Mahajan P, Setty S, Lee S, Clement A, Alvisi L, Dahlin M, Walfish M.  2010.  Depot: Cloud Storage with Minimal Trust. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).