Sebastian Angel

Raj and Neera Singh Term Assistant Professor (starting January 2019)

Department of Computer and Information Science

University of Pennsylvania

Levine Hall, TBD

3330 Walnut Street

Philadelphia, PA 19104


I'll be starting as an assistant professor of Computer and Information Science at UPenn in Spring 2019. I'm currently spending time at Microsoft Research New York City.

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. I was also a visiting academic at NYU.

My work studies different aspects of systems, security, 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).

Open positions I am looking for new Ph.D. students. If you are interested in working with me, please send me an email indicating your interest and include any relevant experience. Make sure to visit Penn's application site to see all the deadlines and requirements.

Program committee


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]

What's a little leakage between friends?

Sebastian Angel, David Lazar, and Ioanna Tzialla

WPES 2018, Toronto, Canada, October 2018. [abstract, paper, slides]

Unobservable communication over untrusted infrastructure

Sebastian Angel

Ph.D. Dissertation, The University of Texas at Austin, August 2018. [abstract, dissertation]

Bert Kay Best Dissertation Award in Computer Science

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]

End-to-end Performance Isolation through Virtual Datacenters

Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, and Eno Thereska

OSDI 2014, Broomfield, CO, October 2014. [abstract, paper, slides, code]

K-mulus: strategies for BLAST in the cloud

Christopher Hill, Carl Albach, Sebastian Angel, and Mihai Pop

PPAM 2013, Warsaw, Poland, September 2013. [abstract, paper, code]

Verifiable auctions for online ad exchanges

Sebastian Angel and Michael Walfish

SIGCOMM 2013, Hong Kong, China, August 2013. [abstract, paper, slides, code]

Prognostically relevant gene signatures of high-grade serous ovarian carcinoma

Verhaak et al.

Journal of Clinical Investigation, Volume 123, Issue 1, January 2013. [abstract, paper]