I am a 6^th year Ph.D student in computer science, working 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. My advisor is Stephen Chong. 

Want to talk about research? Do reach out to me.