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'm broadly interested in systems, security, privacy, and networking. My work aims to:
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]