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 my 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.