55
Publications
1.5K
Citations
24
H-Index
2014
Active since
Affiliations
Farimah Farahmandi is an author at University of Florida specializing in computer engineering, engineering, and computer science.
Top concepts
EngineeringComputer EngineeringHardware SecurityComputer ScienceFormal VerificationSoftware AnalysisInformation SecurityComputer ArchitectureData SecurityProgram Analysis
Publications per year
2014–2024
55
55
Pre-silicon security verification and validation
Xiaolong Guo, Raj Gautam Dutta, Yier Jin et al. · 2015 · 87 citations
Hardware Trojan Detection Using ATPG and Model Checking
Jonathan Cruz, Farimah Farahmandi, Alif Ahmed et al. · 2018 · 73 citations
Hardware Trojan, Engineering, Hardware Verification Language +17
LLM for SoC Security: A Paradigm Shift
Dipayan Saha, Shams Tarek, Katayoon Yahyaei et al. · IEEE Access · 2024 · 68 citations · Full text
Engineering, Hardware Verification Language, Information Security +20
Trojan localization using symbolic algebra
Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra · 2017 · 59 citations
Rows per page
1–5 of 55