I use modern cryptographic techniques to enable secure computation on private data. My work spans the full stack of secure computation systems, from the design of new protocols to the implementation of high-performance compilers and frameworks for secure multiparty computation, homomorphic encryption, trusted execution environments, and federated learning.
Feasibility & architecture
Most privacy-enhancing computation projects fail due to inadequate feasibility study. I help teams scope their problem practically — assessing what's achievable with MPC, FHE, TEE, or federated approaches before engineering budget is committed.
Implementation & prototyping
Building production-ready secure computation systems on top of Sequre, Microsoft SEAL, Lattigo, and similar frameworks. Typical engagements cover the design, the prototype, and the handoff to the client's engineering team.
Secure machine learning
Training and inference on private data — regression, classical ML, neural networks of tractable scale, and federated approaches. Matching the right cryptographic technique to the model architecture and performance budget.
Advisory & training
Technical advisory for engineering and research teams entering this domain. Workshops, code review, protocol selection, and long-term collaboration with research groups working at the intersection of cryptography and compilers.