Phone: +1 475 655 5336
About Me:
I am now a fourth-year PhD candidate at Computer and Security Lab (CASLAB) at Yale University, under the supervision of Professor Jakub Szefer. My current research includes developing and verifying secure processor microarchitectures by self-developing timing side-channel vulnerability checking schemes, as well as proposing languages and tools for practical and scalable security hardware and architectures verification.
I am now looking for a research internship opportunity in areas of hardware security or verification.
Research Interests:
Computer Architecture, Hardware Security
Office: DL513 // // +1 475 655 5336
Postal: Yale University // 10 Hillhouse Avenue // New Haven, CT // USA