About Me
I am a 5th-year PhD student at MIT CSAIL, advised by Prof. Mengjia Yan. My research interest lies in computer architecture and security, with a particular focus on mitigating microarchitectural side-channel attacks. I am especially interested in applying formal methods and programming language principles to advance security analysis and design comprehensive defense mechanisms against microarchitectural vulnerabilities.
Before joining MIT, I earned a bachelor’s degree in Computer Science from the University of Michigan. I also hold a bachelor’s degree in Electrical and Computer Engineering from Shanghai Jiao Tong University.
Education
Interests
Awards & Scholarships
Selected Research
Developed a formal framework for reasoning jointly about capability safety, speculative execution, and information-flow security; presented SCHERI, a new processor design within this framework; and formally proved that SCHERI provides end-to-end secure speculation guarantees under the constant-time policy.
Presented a transformation framework that rewrites cryptographic assembly programs to separate secret and public stack data, facilitating secure speculation using hardware taint tracking.
Presented a software-hardware co-design mitigation that strengthens ASLR against microarchitectural side-channel attacks.
Presented a novel BTB replacement policy that achieves near-ideal frontend processor performance for data center applications.
