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

Publications

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]

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]