Arash Vafaei

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Cryptographic Protocols

Symbolic Execution

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Nurun Nahar Mondol, Arash Vafaei, Kimia Zamiri Azar, Farimah Farahmandi, Mark M. Tehranipoor
RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation. DATE (2024)
Hasan Al Shaikh, Arash Vafaei, Mridha Md Mashahedur Rahman, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor
SHarPen: SoC Security Verification by Hardware Penetration Test. ASP-DAC (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)
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)
Arash Vafaei, Nick Hooten, Mark M. Tehranipoor, Farimah Farahmandi
SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. ITC (2021)
Somayeh Sadeghi Kohan, Arash Vafaei, Zainalabedin Navabi
Near-Optimal Node Selection Procedure for Aging Monitor Placement. IOLTS (2018)