@inproceedings {288538,
	author = {Sebastian Angel and Aditya Basu and Weidong Cui and Trent Jaeger and Stella Lau and Srinath Setty and Sudheesh Singanamalla},
	title = {Nimble: Rollback Protection for Confidential Cloud Services},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {193--208},
	url = {https://www.usenix.org/conference/osdi23/presentation/angel},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {258929,
	author = {Yunhao Zhang and Srinath Setty and Qi Chen and Lidong Zhou and Lorenzo Alvisi},
	title = {Byzantine Ordered Consensus without Byzantine Oligarchy},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {633--649},
	url = {https://www.usenix.org/conference/osdi20/presentation/zhang-yunhao},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {255282,
	author = {Rishabh Poddar and Ganesh Ananthanarayanan and Srinath Setty and Stavros Volos and Raluca Ada Popa},
	title = {Visor: {Privacy-Preserving} Video Analytics as a Cloud Service},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {1039--1056},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/poddar},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {222621,
	author = {Srinath Setty and Sebastian Angel and Trinabh Gupta and Jonathan Lee},
	title = {Proving the correct execution of concurrent services in zero-knowledge},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {339--356},
	url = {https://www.usenix.org/conference/osdi18/presentation/setty},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {203642,
	author = {Barry Bond and Chris Hawblitzel and Manos Kapritsos and K. Rustan M. Leino and Jacob R. Lorch and Bryan Parno and Ashay Rane and Srinath Setty and Laure Thompson},
	title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {917--934},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {199350,
	author = {Srinath Setty and Chunzhi Su and Jacob R. Lorch and Lidong Zhou and Hao Chen and Parveen Patel and Jinglei Ren},
	title = {Realizing the {Fault-Tolerance} Promise of Cloud Storage Using Locks with Intent},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {501--516},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/setty},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {194912,
	author = {Trinabh Gupta and Natacha Crooks and Whitney Mulhern and Srinath Setty and Lorenzo Alvisi and Michael Walfish},
	title = {Scalable and Private Media Consumption with Popcorn},
	booktitle = {13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)},
	year = {2016},
	isbn = {978-1-931971-29-4},
	address = {Santa Clara, CA},
	pages = {91--107},
	url = {https://www.usenix.org/conference/nsdi16/technical-sessions/presentation/gupta-trinabh},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {199325,
	author = {Sebastian Angel and Srinath Setty},
	title = {Unobservable Communication over Fully Untrusted Infrastructure},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {551--569},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/angel},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {180216,
	author = {Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish},
	title = {Taking {Proof-Based} Verified Computation a Few Steps Closer to Practicality},
	booktitle = {21st USENIX Security Symposium (USENIX Security 12)},
	year = {2012},
	isbn = {978-931971-95-9},
	address = {Bellevue, WA},
	pages = {253--268},
	url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266905,
	author = {Lon ingram and Ivaylo Popov and Srinath Setty and Michael Walfish},
	title = {Repair from a Chair: Computer Repair as an Untrusted Cloud Service},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/repair-chair-computer-repair-untrusted-cloud-service},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267131,
	author = {Prince Mahajan and Srinath Setty and Sangmin Lee and Allen Clement and Lorenzo Alvisi and Mike Dahlin and Michael Walfish},
	title = {Depot: Cloud Storage with Minimal Trust},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/depot-cloud-storage-minimal-trust},
	publisher = {USENIX Association},
	month = oct
}
