Farimah Farahmandi

According to our database, Farimah Farahmandi authored at least 100 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

TrustGuard: Standalone FPGA-Based Security Monitoring Through Power Side-Channel.

Tao Zhang, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Trans. Very Large Scale Integr. Syst., February, 2024

SiPGuard: Run-Time System-in-Package Security Monitoring via Power Noise Variation.

Tao Zhang, Md Latifur Rahman, Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi

IEEE Trans. Very Large Scale Integr. Syst., February, 2024

Heterogeneous Integration Supply Chain Integrity Through Blockchain and CHSM.

Paul Calzada, Md Sami Ul Islam Sami, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

ACM Trans. Design Autom. Electr. Syst., January, 2024

AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities.

Nusrat Farzana Dipu, Avinash Ayalasomayajula, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Trans. Inf. Forensics Secur., 2024

Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration.

Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Trans. Inf. Forensics Secur., 2024

INSPECT: Investigating Supply Chain and Cyber-Physical Security of Battery Systems.

Tao Zhang, Shang Shi, Md Habibur Rahman, Nitin Varshney, Akshay Kulkarni, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2024

Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration.

Md Sami Ul Islam Sami, Tao Zhang, Amit Mazumder Shuvo, Md. Saad Ul Haque, Paul Calzada, Kimia Zamiri Azar, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Access, 2024

CAD Tools Pathway in Hardware Security.

Sree Ranjani Rajendran, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023

FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment.

Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Enabling Security of Heterogeneous Integration: From Supply Chain to In-Field Operations.

Md Sami Ul Islam Sami, Hadi Mardani Kamali, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

IEEE Des. Test, October, 2023

HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language.

Md Rafid Muttaki, Roshanak Mohammadivojdan, Hadi Mardani Kamali, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2023

FPGA-Chain: Enabling Holistic Protection of FPGA Supply Chain With Blockchain Technology.

Tao Zhang, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Des. Test, April, 2023

Introduction to the Special Issue on CAD for Security: Pre-silicon Security Sign-off Solutions Through Design Cycle.

Farimah Farahmandi, Ankur Srivastava, Giorgio Di Natale, Mark M. Tehranipoor

ACM J. Emerg. Technol. Comput. Syst., January, 2023

A Comprehensive Survey on Non-Invasive Fault Injection Attacks.

Amit Mazumder Shuvo, Tao Zhang, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2023

LLM for SoC Security: A Paradigm Shift.

Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark M. Tehranipoor, Farimah Farahmandi

IACR Cryptol. ePrint Arch., 2023

ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.

Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2023

ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach.

M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Access, 2023

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 M. Tehranipoor, Farimah Farahmandi

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.

Sohrab Aftabjahani, Mark M. 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

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

Security of Hardware Generators: Enabling Assurance in High-Level Synthesis.

Md Rafid Muttaki, Zahin Ibnat, Shang Shi, Hadi Mardani Kamali, Farimah Farahmandi

Proceedings of the 66th IEEE International Midwest Symposium on Circuits and Systems, 2023

Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough.

Shams Tarek, Hasan Al Shaikh, Sree Ranjani Rajendran, Farimah Farahmandi

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023

TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing.

Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking.

Mohammad Sazadur Rahman, Kimia Zamiri Azar, Farimah Farahmandi, Hadi Mardani Kamali

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

BitFREE: On Significant Speedup and Security Applications of FPGA Bitstream Format Reverse Engineering.

Tao Zhang, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE European Test Symposium, 2023

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 M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE European Test Symposium, 2023

QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy.

Hasan Al Shaikh, Mohammad Bin Monjil, Kimia Zamiri Azar, Farimah Farahmandi, Mark M. Tehranipoor, Fahim Rahman

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2023

EnSAFe: Enabling Sustainable SoC Security Auditing using eFPGA-based Accelerators.

Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2023

Iterative Mitigation of Insecure Resource Sharing Produced by High-level Synthesis.

Zahin Ibnat, Hadi Mardani Kamali, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2023

HUnTer: Hardware Underneath Trigger for Exploiting SoC-level Vulnerabilities.

Sree Ranjani Rajendran, Shams Tarek, Benjamin M. Hicks, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

RTLock: IP Protection using Scan-Aware Logic Locking at RTL.

Md Rafid Muttaki, Shyvagata Saha, Hadi Mardani Kamali, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

SheLL: Shrinking eFPGA Fabrics for Logic Locking.

Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing.

Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction.

Rui Guo, M. Sazadur Rahman, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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 M. Tehranipoor, Farimah Farahmandi

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

SecHLS: Enabling Security Awareness in High-Level Synthesis.

Shang Shi, Nitin Pundir, Hadi Mardani Kamali, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

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 M. Tehranipoor

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Power Side-Channel Leakage Assessment Framework at Register-Transfer Level.

Nitin Pundir, Jungmin Park, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Trans. Very Large Scale Integr. Syst., 2022

eChain: A Blockchain-Enabled Ecosystem for Electronic Device Authenticity Verification.

Nidish Vashistha, Muhammad Monir Hossain, Md Rakib Shahriar, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

IEEE Trans. Consumer Electron., 2022

SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks.

Huanyu Wang, Henian Li, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

ACED-IT: Assuring Confidential Electronic Design Against Insider Threats in a Zero-Trust Environment.

Andrew Stern, Huanyu Wang, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Analyzing Security Vulnerabilities Induced by High-level Synthesis.

Nitin Pundir, Sohrab Aftabjahani, Rosario Cammarota, Mark M. Tehranipoor, Farimah Farahmandi

ACM J. Emerg. Technol. Comput. Syst., 2022

ToSHI - Towards Secure Heterogeneous Integration: Security Risks, Threat Assessment, and Assurance.

Nidish Vashistha, Md Latifur Rahman, Md. Saad Ul Haque, Azim Uddin, Md Sami Ul Islam Sami, Amit Mazumder Shuo, Paul Calzada, Farimah Farahmandi, Navid Asadizanjani, Fahim Rahman, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications.

Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Farimah Farahmandi, Navid Asadizanjani, Mark M. Tehranipoor, Fahim Rahman

IACR Cryptol. ePrint Arch., 2022

PQC-SEP: Power Side-channel Evaluation Platform for Post-Quantum Cryptography Algorithms.

Jungmin Park, N. Nalla Anandakumar, Dipayan Saha, Dhwani Mehta, Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

Advances in Logic Locking: Past, Present, and Prospects.

Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

Secure Physical Design.

Sukanta Dey, Jungmin Park, Nitin Pundir, Dipayan Saha, Amit Mazumder Shuvo, Dhwani Mehta, Navid Asadi, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

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 M. Tehranipoor, Farimah Farahmandi

IACR Cryptol. ePrint Arch., 2022

Rethinking Watermark: Providing Proof of IP Ownership in Modern SoCs.

N. Nalla Anandakumar, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Rasheed Kibria, Upoma Das, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2022

FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security.

Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 40th IEEE VLSI Test Symposium, 2022

RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications.

Rasheed Kibria, M. Sazadur Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Test Conference, 2022

ADWIL: A Zero-Overhead Analog Device Watermarking Using Inherent IP Features.

Upoma Das, Md Rafid Muttaki, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE International Test Conference, 2022

LDTFI: Layout-aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis.

Amit Mazumder Shuvo, Nitin Pundir, Jungmin Park, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022

Security Properties Driven Pre-Silicon Laser Fault Injection Assessment.

Nitin Pundir, Henian Li, Lang Lin, Norman Chang, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2022

FTC: A Universal Sensor for Fault Injection Attack Detection.

Md Rafid Muttaki, Tao Zhang, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2022

Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers.

Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2022

AIME: Watermarking AI Models by Leveraging Errors.

Dhwani Mehta, Nurun N. Mondol, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

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 M. Tehranipoor

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Secure by construction: addressing security vulnerabilities introduced during high-level synthesis: invited.

Md Rafid Muttaki, Zahin Ibnat, Farimah Farahmandi

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks.

M. Sazadur Rahman, Adib Nahiyan, Fahim Rahman, Saverio Fazzari, Kenneth Plaks, Farimah Farahmandi, Domenic Forte, Mark M. Tehranipoor

ACM Trans. Design Autom. Electr. Syst., 2021

An End-to-End Bitstream Tamper Attack Against Flip-Chip FPGAs.

Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2021

What is All the FaaS About? - Remote Exploitation of FPGA-as-a-Service Platforms.

Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2021

SoC Security Properties and Rules.

Nusrat Farzana, Farimah Farahmandi, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2021

Quantifiable Assurance: From IPs to Platforms.

Bulbul Ahmed, Md Kawser Bepary, Nitin Pundir, Mike Borza, Oleg Raikhman, Amit Garg, Dale R. Donchin, Adam Cron, Mohamed A. Abdelmoneum, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2021

SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level.

Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 39th IEEE VLSI Test Symposium, 2021

Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions.

Sohrab Aftabjahani, Ryan Kastner, Mark M. Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff

Proceedings of the 39th IEEE VLSI Test Symposium, 2021

SymbA: Symbolic Execution at C-level for Hardware Trojan Activation.

Arash Vafaei, Nick Hooten, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE International Test Conference, 2021

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 M. Tehranipoor

Proceedings of the IEEE International Test Conference, 2021

HEXON: Protecting Firmware Using Hardware-Assisted Execution-Level Obfuscation.

Muhammad Monir Hossain, Sajeed Mohammad, Jason Vosatka, Jeffery S. Allen, Monica Allen, Farimah Farahmandi, Fahim Rahman, Mark M. Tehranipoor

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

Secure High-Level Synthesis: Challenges and Solutions.

Nitin Pundir, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

Required Policies and Properties of the Security Engine of an SoC.

Sajeed Mohammad, Mridha Md Mashahedur Rahman, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2021

AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow.

Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

POCA: First Power-on Chip Authentication in Untrusted Foundry and Assembly.

Md Sami Ul Islam Sami, Fahim Rahman, Adam Cron, Dale R. Donchin, Mike Borza, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2021

BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking.

Muhammad Monir Hossain, Farimah Farahmandi, Mark M. Tehranipoor, Fahim Rahman

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

PSC-TG: RTL Power Side-Channel Leakage Assessment with Test Pattern Generation.

Tao Zhang, Jungmin Park, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Invited: End-to-End Secure SoC Lifecycle Management.

Md Sami Ul Islam Sami, Fahim Rahman, Farimah Farahmandi, Adam Cron, Mike Borza, Mark M. Tehranipoor

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

HLock: Locking IPs at the High-Level Language.

Md Rafid Muttaki, Roshanak Mohammadivojdan, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

SCRIPT: A CAD Framework for Power Side-channel Vulnerability Assessment Using Information Flow Tracking and Pattern Generation.

Adib Nahiyan, Jungmin Park, Miao Tony He, Yousef Iskander, Farimah Farahmandi, Domenic Forte, Mark M. Tehranipoor

ACM Trans. Design Autom. Electr. Syst., 2020

Defense-in-depth: A recipe for logic locking to prevail.

M. Tanjidur Rahman, M. Sazadur Rahman, Huanyu Wang, Shahin Tajik, Waleed Khalil, Farimah Farahmandi, Domenic Forte, Navid Asadizanjani, Mark M. Tehranipoor

Integr., 2020

SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment.

Adam Duncan, Adib Nahiyan, Fahim Rahman, Grant Skipper, Martin Swany, Andrew Lukefahr, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 38th IEEE VLSI Test Symposium, 2020

SPARTA: A Laser Probing Approach for Trojan Detection.

Andrew Stern, Dhwani Mehta, Shahin Tajik, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Test Conference, 2020

Design Obfuscation versus Test.

Farimah Farahmandi, Ozgur Sinanoglu, Ronald D. Blanton, Samuel Pagliarini

Proceedings of the IEEE European Test Symposium, 2020

2019

Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks.

Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra, Domenic Forte, Mark M. Tehranipoor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits.

Farimah Farahmandi, Prabhat Mishra

IEEE Trans. Computers, 2019

Dynamically Obfuscated Scan Chain To Resist Oracle-Guided Attacks On Logic Locked Design.

M. Sazadur Rahman, Adib Nahiyan, Sarah Amir, Fahim Rahman, Farimah Farahmandi, Domenic Forte, Mark M. Tehranipoor

IACR Cryptol. ePrint Arch., 2019

SoC Security Verification using Property Checking.

Nusrat Farzana, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi

Proceedings of the IEEE International Test Conference, 2019

FPGA Bitstream Security: A Day in the Life.

Adam Duncan, Fahim Rahman, Andrew Lukefahr, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the IEEE International Test Conference, 2019

Security and Trust Verification of IoT SoCs.

Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra

Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018

Hardware Trojan Detection Using ATPG and Model Checking.

Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution.

Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra

Proceedings of the IEEE International Test Conference, 2018

Directed test generation using concolic testing on RTL models.

Alif Ahmed, Farimah Farahmandi, Prabhat Mishra

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

FSM Anomaly Detection Using Formal Analysis.

Farimah Farahmandi, Prabhat Mishra

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction.

Farimah Farahmandi, Prabhat Mishra

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Cost-effective analysis of post-silicon functional coverage events.

Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Trojan localization using symbolic algebra.

Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Exploiting transaction level models for observability-aware post-silicon test generation.

Farimah Farahmandi, Prabhat Mishra, Sandip Ray

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Automated test generation for Debugging arithmetic circuits.

Farimah Farahmandi, Prabhat Mishra

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction.

Farimah Farahmandi, Bijan Alizadeh

Microprocess. Microsystems, 2015

Pre-silicon security verification and validation: a formal perspective.

Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits.

Farimah Farahmandi, Bijan Alizadeh, Zainalabedin Navabi

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

2013

A new structure for interconnect offline testing.

Somayeh Sadeghi Kohan, Shahrzad Keshavarz, Farzaneh Zokaee, Farimah Farahmandi, Zainalabedin Navabi

Proceedings of the East-West Design & Test Symposium, 2013