Sebastian Angel

Alum

areas of interest distributed systems, security, networking, operating systems

email sebs at cs.utexas.edu
web www.cs.utexas.edu/~sebs

Assistant Professor at UPenn

publications

Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee
In OSDI 2018 - bibtex
PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty
In S&P (Oakland) 2018 - bibtex
Unobservable communication over fully untrusted infrastructure
Sebastian Angel and Srinath Setty
In OSDI 2016 - bibtex
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
In USENIX Security 2016 - bibtex
End-to-end Performance Isolation through Virtual Datacenters
Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg OShea, and Eno Thereska
In OSDI 2014 - bibtex
Verifiable auctions for online ad exchanges
Sebastian Angel and Michael Walfish
In SIGCOMM 2013 - pdf :: bibtex