K-mulus: Strategies for BLAST in the Cloud. - Christopher Michael Hill; Carl H. Albach; Sebastian Angel; Mihai Pop (PPAM (2), 2013)

Verifiable auctions for online ad exchanges. - Sebastian Angel; Michael Walfish (SIGCOMM, 2013)

End-to-end Performance Isolation Through Virtual Datacenters. - Sebastian Angel; Hitesh Ballani; Thomas Karagiannis; Greg O'Shea; Eno Thereska (OSDI, 2014)

Harmful devices considered harmless. - Riad S. Wahby; Sebastian Angel; Max Howald; Joshua B. Leners; Andrew J. Blumberg; Michael Walfish (CoRR, 2015)

Unobservable Communication over Fully Untrusted Infrastructure. - Sebastian Angel; Srinath T. V. Setty (OSDI, 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 (USENIX Security Symposium, 2016)

PIR with compressed queries and amortized query processing. - Sebastian Angel; Hao Chen 030; Kim Laine; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2017)

What's a Little Leakage Between Friends? - Sebastian Angel; David Lazar; Ioanna Tzialla (WPES@CCS, 2018)

Proving the correct execution of concurrent services in zero-knowledge. - Srinath T. V. Setty; Sebastian Angel; Trinabh Gupta; Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2018)

Deferred Runtime Pipelining for contentious multicore software transactions. - Shuai Mu 001; Sebastian Angel; Dennis E. Shasha (EuroSys, 2019)

Rethinking Data Management Systems for Disaggregated Data Centers. - Qizhen Zhang 001; Yifan Cai; Sebastian Angel; Vincent Liu 001; Ang Chen 001; Boon Thau Loo (CIDR, 2020)

Disaggregation and the Application. - Sebastian Angel; Mihir Nanavati; Siddhartha Sen 001 (HotCloud, 2020)

A file system for safely interacting with untrusted USB flash drives. - Ke Zhong; Zhihao Jiang; Ke Ma; Sebastian Angel (HotStorage, 2020)

Fault-tolerant and transactional stateful serverless workflows. - Haoran Zhang; Adney Cardoza; Peter Baile Chen; Sebastian Angel; Vincent Liu 001 (OSDI, 2020)

Fault-tolerant and Transactional Stateful Serverless Workflows (extended version). - Haoran Zhang; Adney Cardoza; Peter Baile Chen; Sebastian Angel; Vincent Liu 001 (CoRR, 2020)

Private resource allocators and their applications. - Sebastian Angel; Sampath Kannan; Zachary B. Ratliff (IACR Cryptol. ePrint Arch., 2020)

Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs. - Qizhen Zhang 001; Yifan Cai; Xinyi Chen 004; Sebastian Angel; Ang Chen 001; Vincent Liu 001; Boon Thau Loo (Proc. VLDB Endow., 2020)

Verifiable state machines: Proofs that untrusted services operate correctly. - Srinath T. V. Setty; Sebastian Angel; Jonathan Lee 003 (ACM SIGOPS Oper. Syst. Rev., 2020)

Packet Scheduling with Optional Client Privacy. - Andrew Beams; Sampath Kannan; Sebastian Angel (CCS, 2021)

Bringing Decentralized Search to Decentralized Services. - Mingyu Li; Jinhao Zhu; Tianxu Zhang; Cheng Tan 005; Yubin Xia; Sebastian Angel; Haibo Chen 001 (OSDI, 2021)

Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy. - Edo Roth; Karan Newatia; Yiping Ma 001; Ke Zhong; Sebastian Angel; Andreas Haeberlen (SOSP, 2021)

Efficient Representation of Numerical Optimization Problems for SNARKs. - Sebastian Angel; Andrew J. Blumberg; Eleftherios Ioannidis; Jess Woods (IACR Cryptol. ePrint Arch., 2021)

Incremental Offline/Online PIR (extended version). - Yiping Ma 001; Ke Zhong; Tal Rabin; Sebastian Angel (IACR Cryptol. ePrint Arch., 2021)

Ibex: Privacy-preserving Ad Conversion Tracking and Bidding. - Ke Zhong; Yiping Ma 001; Sebastian Angel (CCS, 2022)

Rolis: a software approach to efficiently replicating multi-core transactions. - Weihai Shen; Ansh Khanna; Sebastian Angel; Siddhartha Sen 001; Shuai Mu 001 (EuroSys, 2022)

Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT. - Qizhen Zhang 001; Xinyi Chen 004; Sidharth Sankhe; Zhilei Zheng; Ke Zhong; Sebastian Angel; Ang Chen 001; Vincent Liu 001; Boon Thau Loo (SIGMOD Conference, 2022)

Incremental Offline/Online PIR. - Yiping Ma 001; Ke Zhong; Tal Rabin; Sebastian Angel (USENIX Security Symposium, 2022)

Ibex: Privacy-preserving ad conversion tracking and bidding (full version). - Ke Zhong; Yiping Ma 001; Sebastian Angel (IACR Cryptol. ePrint Arch., 2022)

Addax: A fast, private, and accountable ad exchange infrastructure. - Ke Zhong; Yiping Ma 001; Yifeng Mao; Sebastian Angel (IACR Cryptol. ePrint Arch., 2022)

Nimble: Rollback Protection for Confidential Cloud Services. - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (OSDI, 2023)

On a Foundation Model for Operating Systems. - Divyanshu Saxena; Nihal Sharma; Donghyun Kim 002; Rohit Dwivedula; Jiayi Chen; Chenxi Yang; Sriram Ravula; Zichao Hu; Aditya Akella; Sebastian Angel; Joydeep Biswas; Swarat Chaudhuri; et al. (CoRR, 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)

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. - Sebastian Angel; Eleftherios Ioannidis; Elizabeth Margolin; Srinath T. V. Setty; Jess Woods (IACR Cryptol. ePrint Arch., 2023)

Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning. - Yiping Ma 001; Jess Woods; Sebastian Angel; Antigoni Polychroniadou; Tal Rabin (IACR Cryptol. ePrint Arch., 2023)

Executing Microservice Applications on Serverless, Correctly. - Konstantinos Kallas; Haoran Zhang; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (Proc. ACM Program. Lang., 2023)

MuCache: A General Framework for Caching in Microservice Graphs. - Haoran Zhang; Konstantinos Kallas; Spyros Pavlatos; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (NSDI, 2024)

Structural temporal logic for mechanized program verification. - Eleftherios Ioannidis; Yannick Zakowski; Steve Zdancewic; Sebastian Angel (CoRR, 2024)

Mako: Speculative Distributed Transactions with Geo-Replication. - Weihai Shen; Yang Cui; Siddhartha Sen 001; Sebastian Angel; Shuai Mu 001 (OSDI, 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)

Oryx: Private detection of cycles in federated graphs. - Ke Zhong; Sebastian Angel (Proc. Priv. Enhancing Technol., 2025)

CausalMesh: A Causal Cache for Stateful Serverless Computing. - Haoran Zhang; Shuai Mu 001; Sebastian Angel; Vincent Liu 001 (SIGMOD Rec., 2025)

CausalMesh: A Formally Verified Causal Cache for Stateful Serverless Computing. - Haoran Zhang; Zihao Zhang; Shuai Mu 001; Sebastian Angel; Vincent Liu 001 (CoRR, 2025)