Muhammad Monir Hossain

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Hardware And Software

Buffer Overflow

Information Flow

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Consumer Electron.

Publications

Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark M. Tehranipoor
FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection. ASPDAC (2024)
Muhammad Monir Hossain, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor
Fuzzing for Automated SoC Security Verification: Challenges and Solution. IEEE Des. Test 41 (4) (2024)
Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor
TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. ICCAD (2023)
Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor
SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. DATE (2023)
Nidish Vashistha, Muhammad Monir Hossain, Md Rakib Shahriar, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor
eChain: A Blockchain-Enabled Ecosystem for Electronic Device Authenticity Verification. IEEE Trans. Consumer Electron. 68 (1) (2022)
Kimia Zamiri Azar, Muhammad Monir Hossain, Arash Vafaei, Hasan Al Shaikh, Nurun N. Mondol, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi
Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions. IACR Cryptol. ePrint Arch. 2022 (2022)
Muhammad Monir Hossain, Farimah Farahmandi, Mark M. Tehranipoor, Fahim Rahman
BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking. DATE (2021)
Muhammad Monir Hossain, Sajeed Mohammad, Jason Vosatka, Jeffery S. Allen, Monica Allen, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor
HEXON: Protecting Firmware Using Hardware-Assisted Execution-Level Obfuscation. ISVLSI (2021)