Biblio

Export 13 results:
Filters: Author is Sebastian Angel  [Clear All Filters]
2024
Zhang H, Kallas K, Pavlatos S, Alur R, Angel S, Liu V.  2024.  MuCache: A General Framework for Caching in Microservice Graphs. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :221--238.
2023
Zhong K, Ma Y, Mao Y, Angel S.  2023.  Addax: A fast, private, and accountable ad exchange infrastructure. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :825--848.
Angel S, Basu A, Cui W, Jaeger T, Lau S, Setty S, Singanamalla S.  2023.  Nimble: Rollback Protection for Confidential Cloud Services. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :193--208.
2022
Angel S, Blumberg AJ, Ioannidis E, Woods J.  2022.  Efficient Representation of Numerical Optimization Problems for SNARKs. 31st USENIX Security Symposium (USENIX Security 22). :4273--4290.
Ma Y, Zhong K, Rabin T, Angel S.  2022.  Incremental Offline/Online PIR. 31st USENIX Security Symposium (USENIX Security 22). :1741--1758.
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.