Raj and Neera Singh Term Assistant Professor
Levine Hall, Office 604
3330 Walnut Street
Philadelphia, PA 19104
Email: sebastian.angel at cis.upenn.edu
Phone: +1 (215) 898-9252
Public key: sga (on keybase)
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.
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).
Software transactions with pipelined locks and lazy evaluation
EuroSys 2019 (to appear), Dresden, Germany, March 2019.
Proving the correct execution of concurrent services in zero-knowledge
What's a little leakage between friends?
Unobservable communication over untrusted infrastructure
Bert Kay Best Dissertation Award in Computer Science
PIR with compressed queries and amortized query processing
Unobservable communication over fully untrusted infrastructure
Defending against malicious peripherals with Cinch
End-to-end Performance Isolation through Virtual Datacenters
K-mulus: strategies for BLAST in the cloud
Verifiable auctions for online ad exchanges