Yuheng Yang

PhD student at MIT advised by Mengjia Yan
Email: yuhengy@mit.edu


I am a PhD student at MIT EECS advised by Prof. Mengjia Yan. I work on using formal methods to design secure hardware, with a focus on mitigating timing side channels and speculative execution attacks. Recently, I have been studying microarchitecture modeling approaches and developing Pensieve (Code), a security-oriented microarchitecture model to assist early-stage security evaluation with model checking. Before starting PhD, I received a BEng degree from the University of Chinese Academy of Sciences with RISC-V core tape-out experience advised by Prof. Yungang Bao.

Research Insterests

Hardware Security, Computer Architecture, Formal Method

Publications & Presentations