Sebastian Angel

Raj and Neera Singh Term Assistant Professor

Department of Computer and Information Science

University of Pennsylvania

Levine Hall, Office 604

3330 Walnut Street

Philadelphia, PA 19104

photo

I'm an assistant professor of Computer and Information Science at UPenn, and I'm part of the Distributed Systems Laboratory. I also run Penn's security reading group. Prior to joining Penn, I was a visiting academic at NYU's Courant Institute of Mathematical Sciences, and spent a lot of time working with amazing folks at Microsoft Research in the Cambridge, Redmond, and New York City labs.

I obtained my Ph.D. in Computer Science from UT Austin where I was part of the Laboratory for Advanced Systems Research and was advised by Michael Walfish.

My work studies different aspects of systems, security, privacy, and networking. I'm particularly interested in:

My recent projects include a messaging system that hides communication metadata from all network and service providers, and a framework for building concurrent state machines that can prove their state transitions in zero-knowledge (an application of this is a banking service that can prove to regulators that it is processing transactions correctly without revealing the parties or amounts involved in a transaction).

Program committee

Some recent publications (see all)

Deferred Runtime Pipelining for contentious multicore software transactions

Shuai Mu, Sebastian Angel, and Dennis Shasha

EuroSys 2019, Dresden, Germany, March 2019. [abstract, paper, extended report, slides]

Proving the correct execution of concurrent services in zero-knowledge

Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee

OSDI 2018, Carlsbad, CA, October 2018. [abstract, paper, extended report]

PIR with compressed queries and amortized query processing

Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty

S&P 2018 (Oakland), San Francisco, CA, May 2018. [abstract, paper, slides, code]

Unobservable communication over fully untrusted infrastructure

Sebastian Angel and Srinath Setty

OSDI 2016, Savannah, GA, November 2016. [abstract, paper, extended report, slides, code]

Defending against malicious peripherals with Cinch

Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners,
Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish

USENIX Security 2016, Austin, TX, August 2016. [abstract, paper, slides, code]