Research

I work on language-based security.  Broadly,  my  research seeks to specify and build provably secure systems using  hardware assisted security mechanisms, cryptography  and formal techniques.  

The current ongoing projects are:

1. Automatic compartmentalization of TEE programs.
2. Formal foundations of Fully Homomorphic Encryption (FHE) compilers.
3. Privacy-preserving machine learning with a focus on encrypted learning.