I moved to Yale and am currently a post-doc at Yale-Flint group.

Starting Fall 2022, I will be a faculty at UMass Lowell. I am looking for graduate students! Prospective students are welcome to reach out to me.

I work on language-based security.  Broadly,  my  research seeks to specify and build provably secure systems using  hardware assisted security mechanisms and formal techniques. During Ph.D I worked on principles and techniques for enforcing strong security guarantees against powerful attackers using Trusted Execution Environments such as Intel SGX and ARM TrustZone. I was advised by the wonderful Stephen Chong.