C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Arash Vafaei
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Symbolic Execution
Security Problems
Leaf Nodes
Test Generation
Top Venues
IACR Cryptol. ePrint Arch.
ASP-DAC
IOLTS
DATE
</>
Publications
</>
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)