Avatar

Naorin Hossain

Computer Science PhD Student

Princeton University

Biography

I am a second year Computer Science PhD student at Princeton University advised by Professor Margaret Martonosi. I'm currently working on hardware security and correctness verification. It is important to verify these properties in our existing and future systems as several aspects of our society are now dependent on their security and reliability. My work applies formal methods to automate exploit synthesis and analysis of vulnerabilities and correctness to mitigate design flaws from early stages of the hardware 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 to enable a leader-follower navigation implementation through underwater tracking.

Interests

  • Hardware Security
  • Exploit Synthesis
  • Hardware Correctness Verification

Education

  • PhD in Computer Science, 2023

    Princeton University

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

    Rutgers University

Projects

Hardware Security

Hardware security exploits have been in the spotlight since the announcement of the infamous Spectre and Meltdown exploits. These …

Formalizing Transistency

Memory transistency models define consistency behaviors that are captured by memory consistency models while also accounting for …

Publications

TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests

Memory consistency models (MCMs) specify the legal ordering and visibility of shared memory accesses in a parallel program. …

Experience

 
 
 
 
 

Teaching Assistant

Princeton University

Feb 2019 – May 2019 Princeton, NJ
Designed and graded assignments, projects, and exams in COS 375 Computer Architecture & Organization course with Professor Margaret Martonosi
 
 
 
 
 

Research Assistant

Princeton University

Sep 2018 – Present Princeton, NJ
Advisor: Dr. Margaret Martonosi

  • Apply CheckMate tool to an Intel Sandy Bridge-like microarchitectural specification written in Alloy to synthesize TLB exploits
  • Synthesize candidate execution programs that account for hardware and OS operations arising from address translations
  • Develop a framework to formally define a transistency model for x86 processors using hardware testing and verification techniques
 
 
 
 
 

Teaching Assistant

Princeton University

Sep 2018 – Jan 2019 Princeton, NJ
Taught precepts, graded assignments and exams, and assisted students in COS 126 Computer Science: An Interdisciplinary Approach course with Professor Robert Sedgewick
 
 
 
 
 

Applications Engineer I Intern

Hamamatsu Photonics

Jun 2018 – Aug 2018 Bridgewater Township, NJ
  • Vein imaging demo software: developed MFC application with capability to display image(s) from board level scientific camera, view histogram data of 12-bit grayscale pixel values, adjust contrast of image, and print image
  • Wireless oscilloscope: high level design for wireless oscilloscope – analog input from Multi-Pixel Photon Counter (MPPC) module to digital output on Android application
 
 
 
 
 

Research Assistant

Rutgers University

Sep 2017 – May 2018 Piscataway, NJ
Advisor: Dr. Ulrich Kremer

  • Investigated swarming strategies and potential tradeoffs for autonomous, battery-operated underwater gliders to cooperatively navigate and achieve desired goals
  • Built and tested a simulation environment for a leader-follower strategy using optical communication technologies – specifically LED color detection using a camera and OpenCV
 
 
 
 
 

Software Developer Intern

IBM

Jun 2017 – Aug 2017 San Jose, CA
Information Management System (IMS) API Developer (Java):

  • Developed models, controllers, and handlers for a new wizard that is used to add/edit fields in transaction messages for updated version of existing application, IMS Explorer for Development (E4D)
  • Developed refresh functionality for catalog connection and navigation tool for upcoming version of IMS E4D
 
 
 
 
 

Computer Science Grader

Rutgers University

Sep 2016 – Dec 2016 Piscataway, NJ
Assisted with facilitating and reviewing course projects as well as grading exams for CS 431 Software Engineering course with Professor Alex Borgida
 
 
 
 
 

IT Intern

Verizon

Jun 2016 – Aug 2016 Warren, NJ
  • Mobile Content Solutions QA Developer: enhanced user interface, added several features, and fixed security vulnerabilities for existing in-house testing automation web application; developed an algorithm for automating input parameter generation
  • Intern Hackathon: developed a suite of Alexa skills for the Amazon Echo involving various health assessments using Javascript
 
 
 
 
 

Mathematics Grader

Rutgers University

Jan 2016 – May 2018 Piscataway, NJ
Reviewed MATLAB-based assignments for Math 250: Introduction to Linear Algebra with Professor Lasantha Goonetilleke
 
 
 
 
 

IT Intern

NYC School Construction Authority

Jun 2015 – Aug 2015 Long Island City, NY
  • Business Analyst: documented user stories and translated them into use cases that could be developed against
  • Front End UI Developer: developed one of the user stories using standard web programming languages (Javascript/Angular.JS)

Contact