Sebastian Angel
University of Pennsylvania
H-index: 15
North America-United States
Top articles of Sebastian Angel
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
MuCache: A General Framework for Caching in Microservice Graphs | Haoran Zhang Konstantinos Kallas Spyros Pavlatos Rajeev Alur Sebastian Angel | 2024/4 | |
Executing microservice applications on serverless, correctly | Proceedings of the ACM on Programming Languages | Konstantinos Kallas Haoran Zhang Rajeev Alur Sebastian Angel Vincent Liu | 2023/1/9 |
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs | Cryptology ePrint Archive | Sebastian Angel Eleftherios Ioannidis Elizabeth Margolin Srinath Setty Jess Woods | 2023 |
Nimble: Rollback Protection for Confidential Cloud Services | Sebastian Angel Aditya Basu Weidong Cui Trent Jaeger Stella Lau | 2023 | |
Flamingo: Multi-round single-server secure aggregation with applications to private federated learning | Yiping Ma Jess Woods Sebastian Angel Antigoni Polychroniadou Tal Rabin | 2023 | |
Addax: A fast, private, and accountable ad exchange infrastructure | Ke Zhong Yiping Ma Yifeng Mao Sebastian Angel | 2023 | |
On a Foundation Model for Operating Systems | arXiv preprint arXiv:2312.07813 | Divyanshu Saxena Nihal Sharma Donghyun Kim Rohit Dwivedula Jiayi Chen | 2023/12/13 |
Ibex: Privacy-preserving ad conversion tracking and bidding | Ke Zhong Yiping Ma Sebastian Angel | 2022/11/7 | |
Optimizing data-intensive systems in disaggregated data centers with teleport | Qizhen Zhang Xinyi Chen Sidharth Sankhe Zhilei Zheng Ke Zhong | 2022/6/10 | |
Rolis: a software approach to efficiently replicating multi-core transactions | Weihai Shen Ansh Khanna Sebastian Angel Siddhartha Sen Shuai Mu | 2022/3/28 | |
Efficient Representation of Numerical Optimization Problems for SNARKs | Sebastian Angel Andrew J Blumberg Eleftherios Ioannidis Jess Woods | 2022 | |
Incremental {Offline/Online}{PIR} | Yiping Ma Ke Zhong Tal Rabin Sebastian Angel | 2022 | |
Packet scheduling with optional client privacy | Andrew Beams Sampath Kannan Sebastian Angel | 2021/11/12 | |
Mycelium: Large-scale distributed graph queries with differential privacy | Edo Roth Karan Newatia Yiping Ma Ke Zhong Sebastian Angel | 2021/10/26 | |
Multiple message retrieval for secure electronic communication | 2021/5/18 | ||
Verifiable state machines | 2021/5/4 | ||
Bringing decentralized search to decentralized services | Mingyu Li Jinhao Zhu Tianxu Zhang Cheng Tan Yubin Xia | 2021 | |
Private information retrieval with probabilistic batch codes | 2020/12/1 | ||
Rethinking Data Management Systems for Disaggregated Data Centers | Qizhen Zhang Yifan Cai Sebastian Angel Ang Chen Vincent Liu | 2020 | |
Verifiable state machines: Proofs that untrusted services operate correctly | ACM SIGOPS Operating Systems Review | Srinath Setty Sebastian Angel Jonathan Lee | 2020/8/31 |
Co-Authors
