Sebastian Angel
Raj and Neera Singh Term 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 I'm part of the Distributed Systems Laboratory, the Security Research Laboratory, and The Warren Center for Network and Data Sciences. I also run Penn's security reading group. I received my PhD from UT Austin, where I was advised by Mike Walfish.
Prior to Penn, I spent time at NYU and at Microsoft Research in the Cambridge, Redmond, and New York City labs.
I'm broadly interested in systems, security, privacy, and networking. My work aims to:
- Understand how the systems that we use today unintentionally leak information.
- Propose alternatives to existing services that provide strong privacy and integrity guarantees.
- Build abstractions and frameworks that simplify the development of concurrent and fault-tolerant applications.
- Specialize applications to run efficiently on new cloud architectures.
Note for PhD applicants: I will not be taking on any new PhD students next year. However, check out some of our other faculty in the systems and security groups.
Courses
- 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)
- Andrew Beams (PhD)
- Eleftherios Ioannidis (PhD)
- Yiping Ma (PhD)
- Jess Woods (PhD)
- Haoran Zhang (PhD, co-advised with Vincent Liu)
- Ke Zhong (PhD)
Program committees
Recent publications (see all)
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]
Rethinking Data Management Systems for Disaggregated Data Centers
CIDR 2020, Amsterdam, Netherlands, January 2020. [abstract, paper]
Deferred Runtime Pipelining for contentious multicore software transactions
EuroSys 2019, Dresden, Germany, March 2019. [abstract, paper, extended report, slides]
Proving the correct execution of concurrent services in zero-knowledge
OSDI 2018, Carlsbad, CA, October 2018. [abstract, paper, extended report]
What's a little leakage between friends?
WPES 2018, Toronto, Canada, October 2018. [abstract, paper, slides]
PIR with compressed queries and amortized query processing
S&P 2018 (Oakland), San Francisco, CA, May 2018. [abstract, paper, slides, code]