Naorin Hossain

According to our database, Naorin Hossain authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques

Naorin Hossain

PhD thesis, 2024

2023

SoCurity: A Design Approach for Enhancing SoC Security.

Naorin Hossain, Alper Buyuktosunoglu, John-David Wellman, Pradip Bose, Margaret Martonosi

IEEE Comput. Archit. Lett., 2023

2020

TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.

Naorin Hossain, Caroline Trippel, Margaret Martonosi

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020