Farimah Farahmandi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
12
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPDAC | GEmFuzz: Uncovering System-Level Vulnerabilities in SoCs via Emulation-Based Grey-Box Fuzzing. | Shuvagata Saha, Ahmed Alhurubi, Tanvir Rahman, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor |
| 2026 | DATE | LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification. | Md. Ajoad Hasan, Dipayan Saha, Khan Thamid Hasan, Nashmin Alam, Azim Uddin, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi |
| 2026 | VTS | AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study. | Khan Thamid Hasan, Md. Ajoad Hasan, Nashmin Alam, Md. Touhidul Islam, Upoma Das, Farimah Farahmandi |
| 2025 | ASPDAC | NoXLock: SiP Activation and Licensing through Obfuscated on-Chip Network and Fuzzy Traffic. | Md. Saad Ul Haque, Azim Uddin, Jingbo Zhou, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor |
| 2025 | ISCAS | Physical Design-Aware Power Side-Channel Leakage Assessment Framework using Deep Learning. | Dipayan Saha, Jingbo Zhou, Farimah Farahmandi |
| 2025 | VTS | Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. | Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi |
| 2025 | VTS | BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. | Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi |
| 2024 | ACSSC | DL-SCADS: Deep Learning-Based Post-Silicon Side-Channel Analysis Using Decomposed Signal. | Dipayan Saha, Farimah Farahmandi |
| 2024 | ASPDAC | FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection. | Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor |
| 2024 | DAC | GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package. | Galib Ibne Haidar, Kimia Zamiri Azar, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi |
| 2024 | DATE | 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 |
| 2024 | ICCD | TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs. | Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi |
| 2024 | ISPASS | SAP: Silicon Authentication Platform for System-on-Chip Supply Chain Vulnerabilities. | Md Sami Ul Islam Sami, Jingbo Zhou, Sujan Kumar Saha, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2024 | ITC | SECT-HI: Enabling Secure Testing for Heterogeneous Integration to Prevent SiP Counterfeits. | Galib Ibne Haidar, Md Sami Ul Islam Sami, Jingbo Zhou, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi |
| 2024 | VLSID | CAD Tools Pathway in Hardware Security. | Sree Ranjani Rajendran, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | ASPDAC | 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 |
| 2023 | ASPDAC | SecHLS: Enabling Security Awareness in High-Level Synthesis. | Shang Shi, Nitin Pundir, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | DAC | ActiWate: Adaptive and Design-agnostic Active Watermarking for IP Ownership in Modern SoCs. | Zahin Ibnat, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | DATE | EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction. | Rui Guo, M. Sazadur Rahman, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | DATE | SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. | Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | DATE | SheLL: Shrinking eFPGA Fabrics for Logic Locking. | Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | DATE | RTLock: IP Protection using Scan-Aware Logic Locking at RTL. | Md Rafid Muttaki, Shyvagata Saha, Hadi Mardani Kamali, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | DATE | HUnTer: Hardware Underneath Trigger for Exploiting SoC-level Vulnerabilities. | Sree Ranjani Rajendran, Shams Tarek, Benjamin M. Hicks, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | ETS | PSC-Watermark: Power Side Channel Based IP Watermarking Using Clock Gates. | Upoma Das, M. Sazadur Rahman, N. Nalla Anandakumar, Kimia Zamiri Azar, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | ETS | BitFREE: On Significant Speedup and Security Applications of FPGA Bitstream Format Reverse Engineering. | Tao Zhang, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | ICCAD | TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. | Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | ITC | ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. | Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | VTS | Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. | Sohrab Aftabjahani, Mark Tehranipoor, Farimah Farahmandi, Bulbul Ahmed, Ryan Kastner, Francesco Restuccia, Andres Meza, Kaki Ryan, Nicole Fern, Jasper Van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Cynthia Sturton, Calvin Deutschbein |
| 2023 | VTS | CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme. | Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
| 2022 | DAC | Secure by construction: addressing security vulnerabilities introduced during high-level synthesis: invited. | Md Rafid Muttaki, Zahin Ibnat, Farimah Farahmandi |
| 2022 | DAC | O'clock: lock the clock via clock-gating for SoC IP protection. | M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mohamed Abdel-Moneum, Mark Tehranipoor |
| 2022 | DATE | AIME: Watermarking AI Models by Leveraging Errors. | Dhwani Mehta, Nurun N. Mondol, Farimah Farahmandi, Mark Tehranipoor |
| 2022 | ITC | ADWIL: A Zero-Overhead Analog Device Watermarking Using Inherent IP Features. | Upoma Das, Md Rafid Muttaki, Mark Tehranipoor, Farimah Farahmandi |
| 2022 | ITC | RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications. | Rasheed Kibria, M. Sazadur Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2022 | VTS | FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security. | Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor |
| 2021 | DAC | HLock: Locking IPs at the High-Level Language. | Md Rafid Muttaki, Roshanak Mohammadivojdan, Mark Tehranipoor, Farimah Farahmandi |
| 2021 | DAC | Invited: End-to-End Secure SoC Lifecycle Management. | Md Sami Ul Islam Sami, Fahim Rahman, Farimah Farahmandi, Adam Cron, Mike Borza, Mark Tehranipoor |
| 2021 | DAC | PSC-TG: RTL Power Side-Channel Leakage Assessment with Test Pattern Generation. | Tao Zhang, Jungmin Park, Mark Tehranipoor, Farimah Farahmandi |
| 2021 | DATE | BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking. | Muhammad Monir Hossain, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman |
| 2021 | ICCAD | AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow. | Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark Tehranipoor |
| 2021 | ITC | LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment. | M. Sazadur Rahman, Henian Li, Rui Guo, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2021 | ITC | SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. | Arash Vafaei, Nick Hooten, Mark Tehranipoor, Farimah Farahmandi |
| 2021 | VTS | Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. | Sohrab Aftabjahani, Ryan Kastner, Mark Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff |
| 2021 | VTS | SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level. | Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2020 | ETS | Design Obfuscation versus Test. | Farimah Farahmandi, Ozgur Sinanoglu, Ronald D. Blanton, Samuel Pagliarini |
| 2020 | ITC | SPARTA: A Laser Probing Approach for Trojan Detection. | Andrew Stern, Dhwani Mehta, Shahin Tajik, Farimah Farahmandi, Mark Tehranipoor |
| 2020 | VTS | SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment. | Adam Duncan, Adib Nahiyan, Fahim Rahman, Grant Skipper, Martin Swany, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor |
| 2019 | ITC | FPGA Bitstream Security: A Day in the Life. | Adam Duncan, Fahim Rahman, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor |
| 2019 | ITC | SoC Security Verification using Property Checking. | Nusrat Farzana, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
| 2018 | DATE | Directed test generation using concolic testing on RTL models. | Alif Ahmed, Farimah Farahmandi, Prabhat Mishra |
| 2018 | ITC | Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra |
| 2018 | VLSID | Hardware Trojan Detection Using ATPG and Model Checking. | Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra |
| 2017 | ASPDAC | Trojan localization using symbolic algebra. | Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra |
| 2017 | DATE | Cost-effective analysis of post-silicon functional coverage events. | Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra |
| 2017 | ICCD | Automated Debugging of Arithmetic Circuits Using Incremental Grbner Basis Reduction. | Farimah Farahmandi, Prabhat Mishra |
| 2017 | ICCD | FSM Anomaly Detection Using Formal Analysis. | Farimah Farahmandi, Prabhat Mishra |
| 2016 | DATE | Automated test generation for Debugging arithmetic circuits. | Farimah Farahmandi, Prabhat Mishra |
| 2016 | DATE | Exploiting transaction level models for observability-aware post-silicon test generation. | Farimah Farahmandi, Prabhat Mishra, Sandip Ray |
| 2015 | DAC | Pre-silicon security verification and validation: a formal perspective. | Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra |