Research · Infrastructure · Products
Research systems, privacy infrastructure, and products I've worked on.
A mix of research, production systems, and earlier projects.
cppPSec is a domain-specific language for building secure distributed systems. It combines state-machine programming, information-flow control, and Intel SGX enclaves to enforce security properties at runtime. I designed and implemented the compiler, secure runtime, communication protocols, and trust model.
This was my master's research at UC Berkeley's Learn & Verify Lab. The resulting paper appeared at AsiaCCS 2021.
cpp
java
objc
pythonI am a core engineer on Meta's Anonymous Credential Service (ACS), which uses blind signatures and related cryptographic primitives to support de-identified authentication at hundreds of thousands of requests per second.
My work has covered the C++ backend, Android and iOS SDKs, operational infrastructure, and internal tooling. I co-presented ACS at Systems@Scale 2022 and contributed to the Meta Engineering article.
javaYearbook was a cross-platform photo-a-day app for documenting preschool classroom activities. I helped build the Android app and ship it to Google Play.
The team later joined the Free Ventures accelerator and presented the product to early-stage investors.
javaNearMe was a location-sharing app built around opt-in hotspots: friends could see you only when you entered a place you had chosen, such as a library or gym.
I originated the concept and worked with an MDB team to ship Android and iOS versions, which reached more than 1,000 installs.
swiftCandyland is an endless-runner PC game I built with friends early in my programming journey. We created three visual themes and a short trailer; the repository remains available as an archive.
Code archive