Sebastian Angel

58 papers A* 19A 4Misc 2Journal 28Unranked 5

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