Mengjia Yan

PI
Core/Dual

Mengjia Yan

Associate Professor

I’m an assistant professor at MIT's Electrical Engineering and Computer Science Department and a member of the Computer Science and Artificial Intelligence Laboratory. My research interest lies in the areas of computer architecture and security, with a focus on side-channel attacks and defenses. My group works on exploiting new micro-architectural vulnerabilities and designing comprehensive and efficient defense mechanisms.

Related Links

Website

Last updated Jun 21 '24

Research Areas

Computer Architecture
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity

Related Links

Website

News

CSAIL's formal verification scheme for secure speculation on out-of-order processors working at what’s called the “register-transfer level,” which defines and optimizes a circuit’s functionality before specifying its physical layout, and captures key details about vulnerabilities to side-channel attacks (Credit: iStock).
Computer Architecture Security & Cryptography Systems & Networking Cybersecurity

Giving verification more logic and more scale

CSAIL has developed a formal verification scheme for secure speculation on out-of-order processors working at what’s called the “register-transfer level,” which defines and optimizes a circuit’s functionality before specifying its physical layout, and captures key details about vulnerabilities to side-channel attacks.

Giving verification more logic and more scale

How To Contact Me

UROP/MEng

I'm looking for highly-motivated MEng, and UROP students. If you are a current MIT student, I would recommend taking 6.S983 Secure Hardware Design (was 6.888) or 6.5900 Computer System Architecture (was 6.823). I usually take on students from these courses. If you could not take these courses, I would suggest filling in this form to help me understand your background. For students interested in summer internship positions, please send me an email with your CV and a statement to describe your past project highlights.