Experience

I am a core engineer on Anonymous Credential Service (ACS), which uses blind signatures and related cryptographic primitives for de-identified authentication at hundreds of thousands of requests per second. I co-presented the system at Systems@Scale 2022 and contributed to the Meta Engineering article. The work was also covered by VentureBeat and InfoQ.

I conducted my master's research in UC Berkeley's Learn & Verify Lab under Professor Sanjit Seshia. My primary project was PSec, a language for secure distributed systems, with mentorship from Professors Sanjit Seshia and Pramod Subramanyan and Ankush Desai. Earlier work in the lab included an Intel SGX password manager. Publications are listed on Google Scholar.

I interned on Facebook's end-to-end authorization team. I designed a temporary ACL-granting mechanism that reduced attack surface by renewing access according to measured utilization.

At Mobile Developers of Berkeley, I designed and shipped Android apps with student teams. The largest were Yearbook and NearMe. The Yearbook team joined the Free Ventures accelerator and presented the product to early-stage investors.

I co-founded Via to build more reliable contact synchronization. I led the engineering team, worked on product strategy and design, and helped acquire our first customers. We sunset the project after roughly two years.

On the Workday Next team, I worked on a verifiable-credentials prototype. I implemented security protocols, used mobile hardware enclaves to build an Android wallet, and contributed to an open-source cryptography library.

On Flickr's Tripod backend team, I built a unique media-ID service in Java Spring. I also analyzed the cost and performance of several compression algorithms; the recommended option became the default for photo compression.