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. Prior to joining UPenn, 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, 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

Publications

Software transactions with pipelined locks and lazy evaluation

Shuai Mu, Sebastian Angel, and Dennis Shasha

EuroSys 2019 (to appear), Dresden, Germany, March 2019.

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]