Sebastian Angel
Raj and Neera Singh Assistant Professor
Levine Hall, Office 604
3330 Walnut Street
Philadelphia, PA 19104
I'm an assistant professor of Computer and Information Science at Penn and a senior researcher at Microsoft Research.
At Penn, I'm part of the Distributed Systems Laboratory, the Security and Privacy Laboratory, and The Warren Center for Network and Data Sciences. I'm the recipient of an NSF CAREER Award, a JPMorgan Faculty Award, the ACM SIGOPS Dennis M. Ritchie Dissertation Award, and the Bert Kay Best Dissertation Award.
I'm broadly interested in systems, security, privacy, and networking. My work aims to:
- Understand how the systems that we use today leak information and what we can do to remedy this situation.
- Bring accountability to online services by forcing these service to prove that they are doing the right thing.
- Build abstractions and frameworks that simplify the development of concurrent and fault-tolerant applications.
Courses
- Fall 2022: CIS 551–Computer and network security
- Summer 2022: CIS 551–Computer and network security
- Spring 2022: CIS 551–Computer and network security
- Fall 2021: CIS 551–Computer and network security
- Spring 2021: CIS 700–Advanced topics in privacy and anonymity
- Fall 2020: CIS 551–Computer and network security
- Spring 2020: CIS 700–Privacy enhancing technologies
- Fall 2019: CIS 331–Introduction to networks and security
- Spring 2019: CIS 700–Advanced topics in privacy and anonymity
Students (see alumni)
- Eleftherios Ioannidis (PhD)
- Yiping Ma (PhD, co-advised with Tal Rabin)
- Elizabeth Margolin (PhD, co-advised with Andreas Haeberlen)
- Jess Woods (PhD)
- Haoran Zhang (PhD, co-advised with Vincent Liu)
- Ke Zhong (PhD)
Organization
- General Chair, HotOS 2021
- Scholarship co-chair, SOSP 2021
Program committees
Recent publications (see all)
Addax: A fast, private, and accountable ad exchange infrastructure
NSDI 2023, Boston, MA, April 2023. [abstract, paper]
Executing Microservice Applications on Serverless, Correctly
POPL 2023, Boston, MA, January 2023. [abstract, paper, code]
Ibex: Privacy-preserving ad conversion tracking and bidding
CCS 2022, Los Angeles, CA, November 2022. [abstract, paper, extended report, code]
Efficient Representation of Numerical Optimization Problems for SNARKs
USENIX Security 2022, Boston, MA, August 2022. [abstract, paper, extended report, code]
Incremental Offline/Online PIR
USENIX Security 2022, Boston, MA, August 2022. [abstract, paper, extended report, code]
Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT
SIGMOD 2022, Philadelphia, PA, June 2022. [abstract, paper]
Rolis: a software approach to efficiently replicating multi-core transactions
EuroSys 2022, Rennes, France, April 2022. [abstract, paper, code]
Packet scheduling with optional client privacy
CCS 2021, Virtual Conference, November 2021. [abstract, paper, code]
Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy
SOSP 2021, Virtual Conference, October 2021. [abstract, paper, code]
Bringing Decentralized Search to Decentralized Services
OSDI 2021, Virtual Conference, July 2021. [abstract, paper]
Fault-tolerant and transactional stateful serverless workflows
OSDI 2020, Banff, Canada, November 2020. [abstract, paper, extended report, code]
Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs
VLDB 2020, Tokyo, Japan, August 2020. [abstract, paper]
Verifiable state machines: Proofs that untrusted services operate correctly
ACM SIGOPS OSR, Volume 54, Issue 1, July 2020. [abstract, paper]
A filesystem for safely interacting with untrusted USB flash drives
HotStorage 2020, Boston, MA, July 2020. [abstract, paper]
Private resource allocators and their applications
S&P 2020 (Oakland), San Francisco, CA, May 2020. [abstract, paper, slides, code]
Funding
My lab at Penn is generously funded by:
