Naorin Hossain

Computer Science PhD Candidate

Princeton University

I am a Computer Science PhD candidate at Princeton University advised by Professor Margaret Martonosi. My area of research lies in Computer Architecture with a focus on hardware security and correctness verification for modern systems. Currently, I'm working on anomaly detection and mitigation for domain-specific SoCs. I have also worked on formal and empirical methods for correctness verification and validation, specifically for virtual memory systems. My work enables formal specification, formal verification, and empirical validation of correct event ordering in virtual memory systems.

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.


  • Anomaly Detection and Mitigation for Domain-Specific SoCs
  • Formal Verification of Virtual Memory Systems
  • Formal Hardware Security Analysis and Exploit Synthesis


  • PhD in Computer Science, 2023

    Princeton University

  • MA in Computer Science, 2021

    Princeton University

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

    Rutgers University