Raj and Neera Singh Term Assistant Professor (starting January 2019)
Levine Hall, TBD
3330 Walnut Street
Philadelphia, PA 19104
Email: sebastian.angel at cis.upenn.edu
Public key: sga (on keybase)
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).
Proving the correct execution of concurrent services in zero-knowledge
OSDI 2018 (to appear), Carlsbad, CA, October 2018.
What's a little leakage between friends?
Unobservable communication over untrusted infrastructure
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