Naorin Hossain

Computer Science PhD Student

Princeton University

I am a Computer Science PhD candidate at Princeton University advised by Professor Margaret Martonosi. I'm currently working on correctness verification and hardware security, specifically for virtual memory systems. It is important to verify these properties in our existing and future systems as several aspects of our society are now dependent on their reliability and security. My work applies formal methods to enable formal specification and verification of correct event ordering in virtual memory systems and to automate exploit synthesis such that design flaws may be mitigated from early stages of the hardware and system design process.

Prior to graduate school, I worked with Professor Ulrich Kremer at Rutgers University where I received my BS degree in Electrical and Computer Engineering as well as Computer Science. Our work aimed to design a system for underwater autonomous glider interactions. In particular, we investigated optical solutions for enabling a leader-follower navigation implementation through underwater tracking.


  • Formal Verification of Virtual Memory Systems
  • Formal Hardware Security Analysis and Exploit Synthesis


  • PhD in Computer Science, 2023

    Princeton University

  • BS in Electrical and Computer Engineering, Computer Science, 2018

    Rutgers University