Biblio

Export 8 results:
Filters: Author is Sebastian Angel  [Clear All Filters]
2021
Li M, Zhu J, Zhang T, Tan C, Xia Y, Angel S, Chen H.  2021.  Bringing Decentralized Search to Decentralized Services. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :331--347.
2020
Angel S, Nanavati M, Sen S.  2020.  Disaggregation and the Application. 12th {USENIX} Workshop on Hot Topics in Cloud Computing (HotCloud 20).
Zhang H, Cardoza A, Chen PBaile, Angel S, Liu V.  2020.  Fault-tolerant and transactional stateful serverless workflows. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1187--1204.
Zhong K, Jiang Z, Ma K, Angel S.  2020.  A file system for safely interacting with untrusted USB flash drives. 12th {USENIX} Workshop on Hot Topics in Storage and File Systems (HotStorage 20).
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.
2016
Angel S, Wahby RS, Howald M, Leners JB, Spilo M, Sun Z, Blumberg AJ, Walfish M.  2016.  Defending against Malicious Peripherals with Cinch. 25th {USENIX} Security Symposium ({USENIX} Security 16). :397--414.
Angel S, Setty S.  2016.  Unobservable Communication over Fully Untrusted Infrastructure. 12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16). :551--569.
2014
Angel S, Ballani H, Karagiannis T, O’Shea G, Thereska E.  2014.  End-to-end Performance Isolation Through Virtual Datacenters. 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). :233--248.