Sebastian Angel

According to our database, Sebastian Angel authored at least 43 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

CausalMesh: A Formally Verified Causal Cache for Stateful Serverless Computing.

Haoran Zhang, Zihao Zhang, Shuai Mu, Sebastian Angel, Vincent Liu

CoRR, August, 2025

Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs.

Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra, Martin Sander, Jess Woods

IACR Cryptol. ePrint Arch., 2025

Quilt: Resource-aware Merging of Serverless Workflows.

Yuxuan Zhang, Sebastian Angel

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

Mako: Speculative Distributed Transactions with Geo-Replication.

Weihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel, Shuai Mu

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2024

CausalMesh: A Causal Cache for Stateful Serverless Computing.

Haoran Zhang, Shuai Mu, Sebastian Angel, Vincent Liu

Proc. VLDB Endow., September, 2024

Oryx: Private detection of cycles in federated graphs.

Ke Zhong, Sebastian Angel

IACR Cryptol. ePrint Arch., 2024

Structural temporal logic for mechanized program verification.

Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic, Sebastian Angel

CoRR, 2024

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods

Proceedings of the 33rd USENIX Security Symposium, 2024

MuCache: A General Framework for Caching in Microservice Graphs.

Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Executing Microservice Applications on Serverless, Correctly.

Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu

Proc. ACM Program. Lang., January, 2023

Nimble: Rollback Protection for Confidential Cloud Services (extended version).

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla

IACR Cryptol. ePrint Arch., 2023

On a Foundation Model for Operating Systems.

Divyanshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Sebastian Angel, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, Philip Brighten Godfrey, Daehyeok Kim, Christopher J. Rossbach, Gang Wang

CoRR, 2023

Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning.

Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, Tal Rabin

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Nimble: Rollback Protection for Confidential Cloud Services.

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Addax: A fast, private, and accountable ad exchange infrastructure.

Ke Zhong, Yiping Ma, Yifeng Mao, Sebastian Angel

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022

Ibex: Privacy-preserving ad conversion tracking and bidding (full version).

Ke Zhong, Yiping Ma, Sebastian Angel

IACR Cryptol. ePrint Arch., 2022

Efficient Representation of Numerical Optimization Problems for SNARKs.

Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods

Proceedings of the 31st USENIX Security Symposium, 2022

Incremental Offline/Online PIR.

Yiping Ma, Ke Zhong, Tal Rabin, Sebastian Angel

Proceedings of the 31st USENIX Security Symposium, 2022

Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT.

Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Rolis: a software approach to efficiently replicating multi-core transactions.

Weihai Shen, Ansh Khanna, Sebastian Angel, Siddhartha Sen, Shuai Mu

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Ibex: Privacy-preserving Ad Conversion Tracking and Bidding.

Ke Zhong, Yiping Ma, Sebastian Angel

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Incremental Offline/Online PIR (extended version).

Yiping Ma, Ke Zhong, Tal Rabin, Sebastian Angel

IACR Cryptol. ePrint Arch., 2021

Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy.

Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, Andreas Haeberlen

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Bringing Decentralized Search to Decentralized Services.

Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Packet Scheduling with Optional Client Privacy.

Andrew Beams, Sampath Kannan, Sebastian Angel

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Verifiable state machines: Proofs that untrusted services operate correctly.

Srinath T. V. Setty, Sebastian Angel, Jonathan Lee

ACM SIGOPS Oper. Syst. Rev., 2020

Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs.

Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo

Proc. VLDB Endow., 2020

Fault-tolerant and Transactional Stateful Serverless Workflows (extended version).

Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu

CoRR, 2020

Private resource allocators and their applications.

Sebastian Angel, Sampath Kannan, Zachary B. Ratliff

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fault-tolerant and transactional stateful serverless workflows.

Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

A file system for safely interacting with untrusted USB flash drives.

Ke Zhong, Zhihao Jiang, Ke Ma, Sebastian Angel

Proceedings of the 12th USENIX Workshop on Hot Topics in Storage and File Systems, 2020

Disaggregation and the Application.

Sebastian Angel, Mihir Nanavati, Siddhartha Sen

Proceedings of the 12th USENIX Workshop on Hot Topics in Cloud Computing, 2020

Rethinking Data Management Systems for Disaggregated Data Centers.

Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

2019

Deferred Runtime Pipelining for contentious multicore software transactions.

Shuai Mu, Sebastian Angel, Dennis E. Shasha

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

What's a Little Leakage Between Friends?

Sebastian Angel, David Lazar, Ioanna Tzialla

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

PIR with Compressed Queries and Amortized Query Processing.

Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Proving the correct execution of concurrent services in zero-knowledge.

Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2016

Defending against Malicious Peripherals with Cinch.

Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish

Proceedings of the 25th USENIX Security Symposium, 2016

Unobservable Communication over Fully Untrusted Infrastructure.

Sebastian Angel, Srinath T. V. Setty

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Harmful devices considered harmless.

Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish

CoRR, 2015

2014

End-to-end Performance Isolation Through Virtual Datacenters.

Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, Eno Thereska

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

Verifiable auctions for online ad exchanges.

Sebastian Angel, Michael Walfish

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

K-mulus: Strategies for BLAST in the Cloud.

Christopher Michael Hill, Carl H. Albach, Sebastian Angel, Mihai Pop

Proceedings of the Parallel Processing and Applied Mathematics, 2013