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 UPenn, 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.
Prior to Penn, I was a visiting academic at NYU's Courant Institute of Mathematical Sciences and a Ph.D student in Computer Science at UT Austin where I was part of the Laboratory for Advanced Systems Research and was advised by Michael Walfish. I also spent time 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.
Courses
Students
- Andrew Beams (PhD)
- Haoran Zhang (PhD, co-advised with Vincent Liu)
- Ke Zhong (PhD)
Program committees
Recent publications (see all)
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]