Department of Computer Science,
University of Massachusetts, Lowell.
Dandeneau, Room 330
Lowell, MA 01854
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.
Ph.D and Postdoc positions available!
Prospective students can reach out to me for more potential projects. Please make sure to include your research interests and academic background!
If you are currently enrolled in UMass Lowell, email me with your academic background.