Near-Optimal Node Selection Procedure for Aging Monitor Placement. - Somayeh Sadeghi Kohan; Arash Vafaei; Zainalabedin Navabi (IOLTS, 2018)

SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. - Arash Vafaei; Nick Hooten; Mark Tehranipoor; Farimah Farahmandi (ITC, 2021)

Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions. - Kimia Zamiri Azar; Muhammad Monir Hossain; Arash Vafaei; Hasan Al Shaikh; Nurun N. Mondol; Fahim Rahman; Mark Tehranipoor; Farimah Farahmandi (IACR Cryptol. ePrint Arch., 2022)

SHarPen: SoC Security Verification by Hardware Penetration Test. - Hasan Al Shaikh; Arash Vafaei; Mridha Md Mashahedur Rahman; Kimia Zamiri Azar; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (ASP-DAC, 2023)

SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. - Muhammad Monir Hossain; Arash Vafaei; Kimia Zamiri Azar; Fahim Rahman; Farimah Farahmandi; Mark Tehranipoor (DATE, 2023)

RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation. - Nurun Nahar Mondol; Arash Vafaei; Kimia Zamiri Azar; Farimah Farahmandi; Mark Tehranipoor (DATE, 2024)