Sebastian Angel

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 46

Top Topics

Privacy Preserving

Numerical Optimization

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu
MuCache: A General Framework for Caching in Microservice Graphs. NSDI (2024)
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. USENIX Security Symposium (2024)
Ke Zhong, Sebastian Angel
Oryx: Private detection of cycles in federated graphs. IACR Cryptol. ePrint Arch. 2024 (2024)
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, Tal Rabin
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning. SP (2023)
Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, Tal Rabin
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning. CoRR (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services (extended version). IACR Cryptol. ePrint Arch. 2023 (2023)
Ke Zhong, Yiping Ma, Yifeng Mao, Sebastian Angel
Addax: A fast, private, and accountable ad exchange infrastructure. NSDI (2023)
Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu
Executing Microservice Applications on Serverless, Correctly. Proc. ACM Program. Lang. 7 (POPL) (2023)
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
On a Foundation Model for Operating Systems. CoRR (2023)
Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, Tal Rabin
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services. OSDI (2023)
Weihai Shen, Ansh Khanna, Sebastian Angel, Siddhartha Sen, Shuai Mu
Rolis: a software approach to efficiently replicating multi-core transactions. EuroSys (2022)
Ke Zhong, Yiping Ma, Sebastian Angel
Ibex: Privacy-preserving ad conversion tracking and bidding (full version). IACR Cryptol. ePrint Arch. 2022 (2022)
Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods
Efficient Representation of Numerical Optimization Problems for SNARKs. USENIX Security Symposium (2022)
Ke Zhong, Yiping Ma, Yifeng Mao, Sebastian Angel
Addax: A fast, private, and accountable ad exchange infrastructure. IACR Cryptol. ePrint Arch. 2022 (2022)
Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT. SIGMOD Conference (2022)
Ke Zhong, Yiping Ma, Sebastian Angel
Ibex: Privacy-preserving Ad Conversion Tracking and Bidding. CCS (2022)
Yiping Ma, Ke Zhong, Tal Rabin, Sebastian Angel
Incremental Offline/Online PIR. USENIX Security Symposium (2022)
Andrew Beams, Sebastian Angel
Pirmission: Single-server PIR with Access Control. IACR Cryptol. ePrint Arch. 2022 (2022)
Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, Andreas Haeberlen
Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy. SOSP (2021)
Andrew Beams, Sampath Kannan, Sebastian Angel
Packet Scheduling with Optional Client Privacy. CCS (2021)
Yiping Ma, Ke Zhong, Tal Rabin, Sebastian Angel
Incremental Offline/Online PIR (extended version). IACR Cryptol. ePrint Arch. 2021 (2021)
Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen
Bringing Decentralized Search to Decentralized Services. OSDI (2021)
Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods
Efficient Representation of Numerical Optimization Problems for SNARKs. IACR Cryptol. ePrint Arch. 2021 (2021)
Sebastian Angel, Mihir Nanavati, Siddhartha Sen
Disaggregation and the Application. HotCloud (2020)
Ke Zhong, Zhihao Jiang, Ke Ma, Sebastian Angel
A file system for safely interacting with untrusted USB flash drives. HotStorage (2020)
Sebastian Angel, Sampath Kannan, Zachary B. Ratliff
Private resource allocators and their applications. IEEE Symposium on Security and Privacy (2020)
Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs. Proc. VLDB Endow. 13 (9) (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Sebastian Angel, Sampath Kannan, Zachary B. Ratliff
Private resource allocators and their applications. IACR Cryptol. ePrint Arch. 2020 (2020)
Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu
Fault-tolerant and transactional stateful serverless workflows. OSDI (2020)
Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu
Fault-tolerant and Transactional Stateful Serverless Workflows (extended version). CoRR (2020)
Qizhen Zhang, Yifan Cai, Sebastian Angel, Vincent Liu, Ang Chen, Boon Thau Loo
Rethinking Data Management Systems for Disaggregated Data Centers. CIDR (2020)
Sebastian Angel, Mihir Nanavati, Siddhartha Sen
Disaggregation and the Application. CoRR (2019)
Shuai Mu, Sebastian Angel, Dennis E. Shasha
Deferred Runtime Pipelining for contentious multicore software transactions. EuroSys (2019)
Sebastian Angel, David Lazar, Ioanna Tzialla
What's a Little Leakage Between Friends? WPES@CCS (2018)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. IACR Cryptol. ePrint Arch. 2018 (2018)
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
PIR with Compressed Queries and Amortized Query Processing. IEEE Symposium on Security and Privacy (2018)
Sebastian Angel, David Lazar, Ioanna Tzialla
What's a little leakage between friends? CoRR (2018)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. OSDI (2018)
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
PIR with compressed queries and amortized query processing. IACR Cryptol. ePrint Arch. 2017 (2017)
Sebastian Angel, Srinath T. V. Setty
Unobservable Communication over Fully Untrusted Infrastructure. OSDI (2016)
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish
Defending against Malicious Peripherals with Cinch. USENIX Security Symposium (2016)
Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish
Harmful devices considered harmless. CoRR (2015)
Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, Eno Thereska
End-to-end Performance Isolation Through Virtual Datacenters. OSDI (2014)
Sebastian Angel, Michael Walfish
Verifiable auctions for online ad exchanges. SIGCOMM (2013)