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.