TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. - Naorin Hossain; Caroline Trippel; Margaret Martonosi (ISCA, 2020)

SoCurity: A Design Approach for Enhancing SoC Security. - Naorin Hossain; Alper Buyuktosunoglu; John-David Wellman; Pradip Bose; Margaret Martonosi (IEEE Comput. Archit. Lett., 2023)

Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques - Naorin Hossain (2024)