I'm a Ph.D. candidate in the department of Computer Science at UT Austin. I'm part of the Laboratory for Advanced Systems Research where I'm advised by Michael Walfish. I'm also a visiting academic at NYU's systems group. My current projects study different aspects of systems, security, and networking.
Verifying the execution of concurrent services in zero-knowledge
OSDI 2018 (to appear), Carlsbad, CA, October 2018.
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