


default search action
Farimah Farahmandi
Person information
- affiliation: University of Florida, Gainesville, FL, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j37]Hasan Al Shaikh
, Shuvagata Saha
, Sujan Kumar Saha, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
Rethinking SoC Verification for Secure Cross-Layer Interactions. IEEE Des. Test 42(5): 73-82 (2025)
[j36]Galib Ibne Haidar
, Jingbo Zhou, Md Sami Ul Islam Sami
, Mark Mohammad Tehranipoor, Farimah Farahmandi
:
SAFET-HI: Secure Authentication-Based Framework for Encrypted Testing in Heterogeneous Integration. IEEE J. Emerg. Sel. Topics Circuits Syst. 15(3): 478-492 (2025)
[j35]Md Kawser Bepary
, Tao Zhang, Jingbo Zhou, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
Towards Efficient Gate-Level Electromagnetic Side-Channel Leakage Modeling and Vulnerability Assessment. J. Hardw. Syst. Secur. 9(1): 24-37 (2025)
[j34]Pantha Protim Sarker
, Upoma Das
, Mohammad Bin Monjil, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor:
GEM-Water: Generation of EM-Based Watermark With Hidden FSM for SoC IPs to Combat Piracy. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 44(11): 4113-4126 (2025)
[j33]Upoma Das
, Mohammad Sazadur Rahman, Akshay Kulkarni
, Mark Tehranipoor
, Farimah Farahmandi
:
PSCMark: Power Side Channel-based Watermarking for SoC IPs Using Clock Gates. ACM Trans. Design Autom. Electr. Syst. 30(5): 72:1-72:27 (2025)
[j32]Hasan Al Shaikh
, Shuvagata Saha
, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman:
Re-Pen: Reinforcement Learning-Enforced Penetration Testing for SoC Security Verification. IEEE Trans. Very Large Scale Integr. Syst. 33(3): 853-866 (2025)
[c85]Md. Saad Ul Haque
, Azim Uddin
, Jingbo Zhou
, Hadi Mardani Kamali
, Farimah Farahmandi
, Mark Tehranipoor
:
NoXLock: SiP Activation and Licensing through Obfuscated on-Chip Network and Fuzzy Traffic. ASP-DAC 2025: 788-793
[c84]Amit Mazumder Shuvo, Md Latifur Rahman, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor:
ReFID: A System-Aware Remote Fault-Injection Attack Detection & Mitigation for Secure Heterogeneous System. HOST 2025: 46-56
[c83]Pantha Protim Sarker, Tianze Kan, Jingchen Liang, Ozgur Tuncer, Bo He, Zelin Lu, Sudarshan Mallu, Lang Lin, Norman Chang, Rikuu Hasegawa, Kazuki Monta, Makoto Nagata, Farimah Farahmandi, Mark Tehranipoor:
ML-EMFI: A Machine Learning-Driven Pre-Silicon Electromagnetic Fault Injection Security Evaluation for Robust IC Design. HOST 2025: 57-66
[c82]Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi:
SoCureLLM: An LLM-Driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation. HOST 2025: 335-345
[c81]Dipayan Saha, Jingbo Zhou, Farimah Farahmandi:
Physical Design-Aware Power Side-Channel Leakage Assessment Framework using Deep Learning. ISCAS 2025: 1-5
[c80]Zahin Ibnat, Paul E. Calzada, Dipayan Saha, Hasan Al Shaikh, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor:
Trusting the Machine: How Secure is LLM-Generated RTL Code? MLCAD 2025: 1-8
[c79]Dipayan Saha, Hasan Al Shaikh
, Shams Tarek, Farimah Farahmandi:
Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. VTS 2025: 1-5
[c78]Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi:
BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. VTS 2025: 1-5
[i37]Pantha Protim Sarker, Upoma Das, Nitin Varshney, Shang Shi, Akshay Kulkarni, Farimah Farahmandi, Mark Tehranipoor:
When Everyday Devices Become Weapons: A Closer Look at the Pager and Walkie-talkie Attacks. CoRR abs/2501.17405 (2025)
[i36]Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi:
ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. CoRR abs/2505.06821 (2025)
[i35]Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi:
BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. CoRR abs/2505.22878 (2025)
[i34]Dipayan Saha, Shams Tarek, Hasan Al Shaikh, Khan Thamid Hasan, Pavan Sai Nalluri, Md. Ajoad Hasan, Nashmin Alam, Jingbo Zhou, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi:
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. CoRR abs/2506.20415 (2025)
[i33]Paul E. Calzada, Zahin Ibnat, Tanvir Rahman, Kamal Kandula, Danyu Lu, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor:
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation. CoRR abs/2507.13369 (2025)
[i32]Rui Guo, Avinash Ayalasomayajula, Henian Li, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi:
SVAgent: AI Agent for Hardware Security Verification Assertion. CoRR abs/2507.16203 (2025)
[i31]Zahin Ibnat, Paul E. Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor:
DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base. CoRR abs/2510.05327 (2025)
[i30]Dipayan Saha, Farimah Farahmandi:
DL-SCADS: Deep Learning-Based Post-Silicon Side-Channel Analysis Using Decomposed Signal. IACR Cryptol. ePrint Arch. 2025: 11 (2025)
[i29]Md Kawser Bepary, Arunabho Basu, Sajeed Mohammad, Rakibul Hassan, Farimah Farahmandi, Mark Tehranipoor:
SPY-PMU: Side-Channel Profiling of Your Performance Monitoring Unit to Leak Remote User Activity. IACR Cryptol. ePrint Arch. 2025: 14 (2025)
[i28]Rui Guo, M. Sazadur Rahman, Jingbo Zhou, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
EvoLUTe+: Fine-Grained Look-Up-Table-based RTL IP Redaction. IACR Cryptol. ePrint Arch. 2025: 484 (2025)
[i27]Dipayan Saha, Jingbo Zhou, Farimah Farahmandi:
Physical Design-Aware Power Side-Channel Leakage Assessment Framework using Deep Learning. IACR Cryptol. ePrint Arch. 2025: 541 (2025)
[i26]Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi:
BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. IACR Cryptol. ePrint Arch. 2025: 546 (2025)
[i25]Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi:
ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. IACR Cryptol. ePrint Arch. 2025: 561 (2025)
[i24]Dipayan Saha, Shams Tarek, Hasan Al Shaikh, Khan Thamid Hasan, Pavan Sai Nalluri, Md. Ajoad Hasan, Nashmin Alam, Jingbo Zhou, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi:
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. IACR Cryptol. ePrint Arch. 2025: 1162 (2025)- 2024
[j31]Md Sami Ul Islam Sami
, Tao Zhang
, Amit Mazumder Shuvo
, Md. Saad Ul Haque, Paul E. Calzada
, Kimia Zamiri Azar, Hadi Mardani Kamali
, Fahim Rahman, Farimah Farahmandi, Mark Mohammad Tehranipoor:
Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration. IEEE Access 12: 48081-48107 (2024)
[j30]Dipayan Saha
, Shams Tarek
, Katayoon Yahyaei
, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi:
LLM for SoC Security: A Paradigm Shift. IEEE Access 12: 155498-155521 (2024)
[j29]Muhammad Monir Hossain
, Kimia Zamiri Azar, Fahim Rahman
, Farimah Farahmandi, Mark Tehranipoor:
Fuzzing for Automated SoC Security Verification: Challenges and Solution. IEEE Des. Test 41(4): 7-16 (2024)
[j28]Mridha Md Mashahedur Rahman
, Shams Tarek
, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi:
Efficient SoC Security Monitoring: Quality Attributes and Potential Solutions. IEEE Des. Test 41(4): 26-34 (2024)
[j27]Mridha Md Mashahedur Rahman
, Shams Tarek
, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi:
The Road Not Taken: eFPGA Accelerators Utilized for SoC Security Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(10): 3068-3082 (2024)
[j26]Avinash Ayalasomayajula
, Nusrat Farzana Dipu
, Mark Tehranipoor, Farimah Farahmandi:
Automatic Asset Identification for Assertion-Based SoC Security Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(10): 3264-3277 (2024)
[j25]Nusrat Farzana Dipu
, Avinash Ayalasomayajula
, Mark Tehranipoor, Farimah Farahmandi:
AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities. IEEE Trans. Inf. Forensics Secur. 19: 1794-1809 (2024)
[j24]Kimia Zamiri Azar, Hadi Mardani Kamali
, Farimah Farahmandi, Mark Tehranipoor:
Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration. IEEE Trans. Inf. Forensics Secur. 19: 2771-2785 (2024)
[j23]Sree Ranjani Rajendran
, Nusrat Farzana Dipu
, Shams Tarek
, Hadi Mardani Kamali
, Farimah Farahmandi, Mark Tehranipoor:
Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities Beneath Software. IEEE Trans. Inf. Forensics Secur. 19: 3914-3926 (2024)
[j22]Paul E. Calzada
, Md Sami Ul Islam Sami
, Kimia Zamiri Azar
, Fahim Rahman
, Farimah Farahmandi
, Mark Tehranipoor
:
Heterogeneous Integration Supply Chain Integrity Through Blockchain and CHSM. ACM Trans. Design Autom. Electr. Syst. 29(1): 9:1-9:25 (2024)
[j21]Tao Zhang
, Md Latifur Rahman
, Hadi Mardani Kamali
, Kimia Zamiri Azar, Farimah Farahmandi:
SiPGuard: Run-Time System-in-Package Security Monitoring via Power Noise Variation. IEEE Trans. Very Large Scale Integr. Syst. 32(2): 305-318 (2024)
[j20]Tao Zhang
, Mark Mohammad Tehranipoor, Farimah Farahmandi:
TrustGuard: Standalone FPGA-Based Security Monitoring Through Power Side-Channel. IEEE Trans. Very Large Scale Integr. Syst. 32(2): 319-332 (2024)
[j19]Amit Mazumder Shuvo
, Tao Zhang
, Farimah Farahmandi, Mark Mohammad Tehranipoor:
FLAT: Layout-Aware and Security Property-Assisted Timing Fault-Injection Attack Assessment. IEEE Trans. Very Large Scale Integr. Syst. 32(6): 1150-1163 (2024)
[j18]Md Rafid Muttaki
, Md. Habibur Rahman
, Akshay Kulkarni, Mark Tehranipoor, Farimah Farahmandi:
FTC: A Universal Framework for Fault-Injection Attack Detection and Prevention. IEEE Trans. Very Large Scale Integr. Syst. 32(7): 1311-1324 (2024)
[c77]Dipayan Saha, Farimah Farahmandi:
DL-SCADS: Deep Learning-Based Post-Silicon Side-Channel Analysis Using Decomposed Signal. IEEECONF 2024: 1787-1791
[c76]Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection. ASPDAC 2024: 355-361
[c75]Galib Ibne Haidar
, Kimia Zamiri Azar
, Hadi Mardani Kamali
, Mark Tehranipoor
, Farimah Farahmandi
:
GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package. DAC 2024: 299:1-299:6
[c74]Nurun Nahar Mondol, Arash Vafaei, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation. DATE 2024: 1-6
[c73]Sajeed Mohammad
, Farimah Farahmandi
:
DyFORA: Dynamic Firmware Obfuscation and Remote Attestation using Hardware Signatures. ACM Great Lakes Symposium on VLSI 2024: 471-476
[c72]Bulbul Ahmed
, M. Sazadur Rahman
, Kimia Zamiri Azar
, Farimah Farahmandi
, Fahim Rahman
, Mark Tehranipoor
:
SeeMLess: Security Evaluation of Logic Locking using Machine Learning oriented Estimation. ACM Great Lakes Symposium on VLSI 2024: 489-494
[c71]Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal
, Farimah Farahmandi:
Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST 2024: 128-138
[c70]Dipayan Saha
, Katayoon Yahyaei, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi:
Empowering Hardware Security with LLM: The Development of a Vulnerable Hardware Database. HOST 2024: 233-243
[c69]Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh
, Sujan Kumar Saha, Farimah Farahmandi:
TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs. ICCD 2024: 130-133
[c68]Md Sami Ul Islam Sami, Jingbo Zhou, Sujan Kumar Saha, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
SAP: Silicon Authentication Platform for System-on-Chip Supply Chain Vulnerabilities. ISPASS 2024: 109-119
[c67]Nashmin Alam, Tao Zhang, Farimah Farahmandi:
Towards Quantum-Resistant Security: Pre-Silicon Power Side-Channel Leakage Analysis of CRYSTALS-Kyber. ISVLSI 2024: 149-154
[c66]Paul E. Calzada
, Md Sami Ul Islam Sami
, Jingbo Zhou, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
HI-SST: Safeguarding SiP Authenticity Through Secure Split-Test in Heterogeneous Integration. ISVLSI 2024: 379-384
[c65]Galib Ibne Haidar, Md Sami Ul Islam Sami, Jingbo Zhou, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi:
SECT-HI: Enabling Secure Testing for Heterogeneous Integration to Prevent SiP Counterfeits. ITC 2024: 303-312
[c64]Avinash Ayalasomayajula
, Rui Guo
, Jingbo Zhou
, Sujan Kumar Saha
, Farimah Farahmandi
:
LASP: LLM Assisted Security Property Generation for SoC Verification. MLCAD 2024: 29:1-29:7
[c63]Bulbul Ahmed, Sujan Kumar Saha, Jingbo Zhou, Sohrab Aftabjahani, Mark Tehranipoor, Farimah Farahmandi:
Continuity in Security: Leveraging LLM for Translating Security Properties Across Hardware Designs. VLSI-SoC 2024: 1-6
[c62]Sajeed Mohammad, Farimah Farahmandi:
FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting. VLSI-SoC 2024: 1-4
[c61]Sree Ranjani Rajendran, Farimah Farahmandi, Mark Tehranipoor:
CAD Tools Pathway in Hardware Security. VLSID 2024: 342-347
[i23]Tao Zhang, Shang Shi, Md. Habibur Rahman, Nitin Varshney, Akshay Kulkarni, Farimah Farahmandi, Mark Tehranipoor:
INSPECT: Investigating Supply Chain and Cyber-Physical Security of Battery Systems. IACR Cryptol. ePrint Arch. 2024: 211 (2024)
[i22]Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi:
SoCureLLM: An LLM-driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation. IACR Cryptol. ePrint Arch. 2024: 983 (2024)
[i21]Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor:
A Survey on SoC Security Verification Methods at the Pre-silicon Stage. IACR Cryptol. ePrint Arch. 2024: 1280 (2024)- 2023
[j17]M. Sazadur Rahman
, Rui Guo
, Hadi Mardani Kamali
, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach. IEEE Access 11: 19741-19761 (2023)
[j16]Tao Zhang
, Fahim Rahman, Mark Mohammad Tehranipoor, Farimah Farahmandi:
FPGA-Chain: Enabling Holistic Protection of FPGA Supply Chain With Blockchain Technology. IEEE Des. Test 40(2): 127-136 (2023)
[j15]Md Sami Ul Islam Sami
, Hadi Mardani Kamali
, Farimah Farahmandi, Fahim Rahman
, Mark Tehranipoor:
Enabling Security of Heterogeneous Integration: From Supply Chain to In-Field Operations. IEEE Des. Test 40(5): 86-95 (2023)
[j14]Farimah Farahmandi
, Ankur Srivastava, Giorgio Di Natale
, Mark Tehranipoor
:
Introduction to the Special Issue on CAD for Security: Pre-silicon Security Sign-off Solutions Through Design Cycle. ACM J. Emerg. Technol. Comput. Syst. 19(1): 4:1-4:4 (2023)
[j13]Md Rafid Muttaki
, Roshanak Mohammadivojdan, Hadi Mardani Kamali
, Mark Tehranipoor, Farimah Farahmandi:
HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(7): 2149-2162 (2023)
[j12]Rasheed Kibria
, Farimah Farahmandi, Mark Tehranipoor:
FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3613-3627 (2023)
[c60]Hasan Al Shaikh
, Arash Vafaei, Mridha Md Mashahedur Rahman, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
SHarPen: SoC Security Verification by Hardware Penetration Test. ASP-DAC 2023: 579-584
[c59]Shang Shi, Nitin Pundir
, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi:
SecHLS: Enabling Security Awareness in High-Level Synthesis. ASP-DAC 2023: 585-590
[c58]Zahin Ibnat, M. Sazadur Rahman
, Mridha Md Mashahedur Rahman, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi:
ActiWate: Adaptive and Design-agnostic Active Watermarking for IP Ownership in Modern SoCs. DAC 2023: 1-6
[c57]Rui Guo
, M. Sazadur Rahman
, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction. DATE 2023: 1-6
[c56]Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. DATE 2023: 1-6
[c55]Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
SheLL: Shrinking eFPGA Fabrics for Logic Locking. DATE 2023: 1-6
[c54]Md Rafid Muttaki
, Shyvagata Saha, Hadi Mardani Kamali, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi:
RTLock: IP Protection using Scan-Aware Logic Locking at RTL. DATE 2023: 1-6
[c53]Sree Ranjani Rajendran, Shams Tarek, Benjamin M. Hicks, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor:
HUnTer: Hardware Underneath Trigger for Exploiting SoC-level Vulnerabilities. DATE 2023: 1-6
[c52]Zahin Ibnat, Hadi Mardani Kamali, Farimah Farahmandi:
Iterative Mitigation of Insecure Resource Sharing Produced by High-level Synthesis. DFT 2023: 1-6
[c51]Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Farimah Farahmandi:
EnSAFe: Enabling Sustainable SoC Security Auditing using eFPGA-based Accelerators. DFT 2023: 1-6
[c50]Hasan Al Shaikh
, Mohammad Bin Monjil, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman:
QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy. DFT 2023: 1-6
[c49]Upoma Das, M. Sazadur Rahman
, N. Nalla Anandakumar, Kimia Zamiri Azar, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi:
PSC-Watermark: Power Side Channel Based IP Watermarking Using Clock Gates. ETS 2023: 1-6
[c48]Tao Zhang, Mark Tehranipoor, Farimah Farahmandi:
BitFREE: On Significant Speedup and Security Applications of FPGA Bitstream Format Reverse Engineering. ETS 2023: 1-6
[c47]Mohammad Sazadur Rahman
, Kimia Zamiri Azar
, Farimah Farahmandi
, Hadi Mardani Kamali
:
Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking. ACM Great Lakes Symposium on VLSI 2023: 685-690
[c46]Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. ICCAD 2023: 1-9
[c45]Shams Tarek, Hasan Al Shaikh
, Sree Ranjani Rajendran, Farimah Farahmandi:
Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough. ISVLSI 2023: 1-6
[c44]Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor:
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. ITC 2023: 320-329
[c43]Md Rafid Muttaki, Zahin Ibnat, Shang Shi, Hadi Mardani Kamali, Farimah Farahmandi:
Security of Hardware Generators: Enabling Assurance in High-Level Synthesis. MWSCAS 2023: 816-820
[c42]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
:
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. VTS 2023: 1-10
[c41]Mridha Md Mashahedur Rahman, M. Sazadur Rahman
, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi:
CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme. VTS 2023: 1-8
[i20]Dipayan Saha
, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi:
LLM for SoC Security: A Paradigm Shift. CoRR abs/2310.06046 (2023)
[i19]Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor:
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. IACR Cryptol. ePrint Arch. 2023: 1037 (2023)
[i18]Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi:
LLM for SoC Security: A Paradigm Shift. IACR Cryptol. ePrint Arch. 2023: 1561 (2023)
[i17]Amit Mazumder Shuvo, Tao Zhang, Farimah Farahmandi, Mark Tehranipoor:
A Comprehensive Survey on Non-Invasive Fault Injection Attacks. IACR Cryptol. ePrint Arch. 2023: 1769 (2023)- 2022
[j11]Nitin Pundir
, Sohrab Aftabjahani, Rosario Cammarota, Mark Tehranipoor, Farimah Farahmandi:
Analyzing Security Vulnerabilities Induced by High-level Synthesis. ACM J. Emerg. Technol. Comput. Syst. 18(3): 47:1-47:22 (2022)
[j10]Huanyu Wang
, Henian Li
, Fahim Rahman
, Mark Tehranipoor, Farimah Farahmandi:
SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(3): 452-465 (2022)
[j9]Andrew Stern
, Huanyu Wang
, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
ACED-IT: Assuring Confidential Electronic Design Against Insider Threats in a Zero-Trust Environment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(10): 3202-3215 (2022)
[j8]Nidish Vashistha
, Muhammad Monir Hossain
, Md Rakib Shahriar
, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor:
eChain: A Blockchain-Enabled Ecosystem for Electronic Device Authenticity Verification. IEEE Trans. Consumer Electron. 68(1): 23-37 (2022)
[j7]Nitin Pundir
, Jungmin Park
, Farimah Farahmandi, Mark Tehranipoor:
Power Side-Channel Leakage Assessment Framework at Register-Transfer Level. IEEE Trans. Very Large Scale Integr. Syst. 30(9): 1207-1218 (2022)
[c40]M. Sazadur Rahman
, Rui Guo
, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mohamed Abdel-Moneum, Mark Tehranipoor:
O'clock: lock the clock via clock-gating for SoC IP protection. DAC 2022: 775-780
[c39]Md Rafid Muttaki
, Zahin Ibnat, Farimah Farahmandi:
Secure by construction: addressing security vulnerabilities introduced during high-level synthesis: invited. DAC 2022: 1371-1374
[c38]Dhwani Mehta, Nurun N. Mondol, Farimah Farahmandi, Mark Tehranipoor:
AIME: Watermarking AI Models by Leveraging Errors. DATE 2022: 304-309
[c37]Nitin Pundir
, Henian Li, Lang Lin, Norman Chang, Farimah Farahmandi, Mark Tehranipoor:
Security Properties Driven Pre-Silicon Laser Fault Injection Assessment. HOST 2022: 9-12
[c36]Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor:
Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers. HOST 2022: 13-16
[c35]Md Rafid Muttaki
, Tao Zhang, Mark Tehranipoor, Farimah Farahmandi:
FTC: A Universal Sensor for Fault Injection Attack Detection. HOST 2022: 117-120
[c34]Amit Mazumder Shuvo, Nitin Pundir
, Jungmin Park, Farimah Farahmandi, Mark Tehranipoor:
LDTFI: Layout-aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis. ISVLSI 2022: 134-139
[c33]Upoma Das, Md Rafid Muttaki
, Mark Tehranipoor, Farimah Farahmandi:
ADWIL: A Zero-Overhead Analog Device Watermarking Using Inherent IP Features. ITC 2022: 155-164
[c32]Rasheed Kibria, M. Sazadur Rahman
, Farimah Farahmandi, Mark Tehranipoor:
RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications. ITC 2022: 165-174
[c31]Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor:
FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security. VTS 2022: 1-7
[i16]Bulbul Ahmed, Md Kawser Bepary
, Nitin Pundir, Mike Borza, Oleg Raikhman, Amit Garg, Dale R. Donchin, Adam Cron, Mohamed Abdel-Moneum, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor:
Quantifiable Assurance: From IPs to Platforms. CoRR abs/2204.07909 (2022)
[i15]Hasan Al Shaikh
, Mohammad Bin Monjil, Shigang Chen, Navid Asadizanjani, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman:
Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications. CoRR abs/2205.10962 (2022)
[i14]N. Nalla Anandakumar, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Rasheed Kibria, Upoma Das, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor:
Rethinking Watermark: Providing Proof of IP Ownership in Modern SoCs. IACR Cryptol. ePrint Arch. 2022: 92 (2022)
[i13]Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Farimah Farahmandi, Navid Asadizanjani, Mark Tehranipoor, Fahim Rahman:
Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications. IACR Cryptol. ePrint Arch. 2022: 258 (2022)
[i12]Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor:
Advances in Logic Locking: Past, Present, and Prospects. IACR Cryptol. ePrint Arch. 2022: 260 (2022)
[i11]Kimia Zamiri Azar, Muhammad Monir Hossain, Arash Vafaei, Hasan Al Shaikh
, Nurun N. Mondol, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi:
Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions. IACR Cryptol. ePrint Arch. 2022: 394 (2022)
[i10]Jungmin Park, N. Nalla Anandakumar, Dipayan Saha
, Dhwani Mehta, Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
PQC-SEP: Power Side-channel Evaluation Platform for Post-Quantum Cryptography Algorithms. IACR Cryptol. ePrint Arch. 2022: 527 (2022)
[i9]Sukanta Dey, Jungmin Park, Nitin Pundir, Dipayan Saha
, Amit Mazumder Shuvo, Dhwani Mehta, Navid Asadi, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
Secure Physical Design. IACR Cryptol. ePrint Arch. 2022: 891 (2022)
[i8]Nidish Vashistha, Md Latifur Rahman, Md. Saad Ul Haque, Azim Uddin, Md Sami Ul Islam Sami
, Amit Mazumder Shuo, Paul E. Calzada
, Farimah Farahmandi, Navid Asadizanjani, Fahim Rahman, Mark Tehranipoor:
ToSHI - Towards Secure Heterogeneous Integration: Security Risks, Threat Assessment, and Assurance. IACR Cryptol. ePrint Arch. 2022: 984 (2022)
[i7]Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor:
FSMx-Ultra: Finite State Machine Extraction from Gate-Level Netlist for Security Assessment. IACR Cryptol. ePrint Arch. 2022: 1582 (2022)- 2021
[j6]M. Sazadur Rahman
, Adib Nahiyan, Fahim Rahman, Saverio Fazzari, Kenneth Plaks, Farimah Farahmandi, Domenic Forte
, Mark Tehranipoor:
Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks. ACM Trans. Design Autom. Electr. Syst. 26(4): 29:1-29:27 (2021)
[c30]Md Rafid Muttaki
, Roshanak Mohammadivojdan, Mark Tehranipoor, Farimah Farahmandi:
HLock: Locking IPs at the High-Level Language. DAC 2021: 79-84
[c29]Tao Zhang, Jungmin Park, Mark Tehranipoor, Farimah Farahmandi:
PSC-TG: RTL Power Side-Channel Leakage Assessment with Test Pattern Generation. DAC 2021: 709-714
[c28]Md Sami Ul Islam Sami
, Fahim Rahman, Farimah Farahmandi, Adam Cron, Mike Borza, Mark Tehranipoor:
Invited: End-to-End Secure SoC Lifecycle Management. DAC 2021: 1295-1298
[c27]Muhammad Monir Hossain, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman:
BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking. DATE 2021: 1126-1129
[c26]Md Sami Ul Islam Sami
, Fahim Rahman, Adam Cron, Dale R. Donchin
, Mike Borza, Farimah Farahmandi, Mark Tehranipoor:
POCA: First Power-on Chip Authentication in Untrusted Foundry and Assembly. HOST 2021: 124-135
[c25]Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark Tehranipoor:
AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow. ICCAD 2021: 1-9
[c24]Sajeed Mohammad, Mridha Md Mashahedur Rahman, Farimah Farahmandi:
Required Policies and Properties of the Security Engine of an SoC. iSES 2021: 414-420
[c23]Nitin Pundir
, Farimah Farahmandi, Mark Tehranipoor:
Secure High-Level Synthesis: Challenges and Solutions. ISQED 2021: 164-171
[c22]Muhammad Monir Hossain, Sajeed Mohammad, Jason Vosatka, Jeffery S. Allen, Monica Allen, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor:
HEXON: Protecting Firmware Using Hardware-Assisted Execution-Level Obfuscation. ISVLSI 2021: 343-349
[c21]M. Sazadur Rahman
, Henian Li, Rui Guo
, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment. ITC 2021: 180-189
[c20]Arash Vafaei, Nick Hooten, Mark Tehranipoor, Farimah Farahmandi:
SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. ITC 2021: 223-232
[c19]Sohrab Aftabjahani, Ryan Kastner
, Mark Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff:
Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. VTS 2021: 1-10
[c18]Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level. VTS 2021: 1-7
[i6]Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
What is All the FaaS About? - Remote Exploitation of FPGA-as-a-Service Platforms. IACR Cryptol. ePrint Arch. 2021: 746 (2021)
[i5]Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor:
SoC Security Properties and Rules. IACR Cryptol. ePrint Arch. 2021: 1014 (2021)
[i4]Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor:
An End-to-End Bitstream Tamper Attack Against Flip-Chip FPGAs. IACR Cryptol. ePrint Arch. 2021: 1542 (2021)
[i3]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 Tehranipoor:
Quantifiable Assurance: From IPs to Platforms. IACR Cryptol. ePrint Arch. 2021: 1654 (2021)- 2020
[j5]M. Tanjidur Rahman
, M. Sazadur Rahman
, Huanyu Wang, Shahin Tajik, Waleed Khalil, Farimah Farahmandi, Domenic Forte
, Navid Asadizanjani, Mark Tehranipoor:
Defense-in-depth: A recipe for logic locking to prevail. Integr. 72: 39-57 (2020)
[j4]Adib Nahiyan, Jungmin Park, Miao Tony He, Yousef Iskander, Farimah Farahmandi, Domenic Forte
, Mark Tehranipoor:
SCRIPT: A CAD Framework for Power Side-channel Vulnerability Assessment Using Information Flow Tracking and Pattern Generation. ACM Trans. Design Autom. Electr. Syst. 25(3): 26:1-26:27 (2020)
[c17]Farimah Farahmandi, Ozgur Sinanoglu
, Ronald D. Blanton, Samuel Pagliarini
:
Design Obfuscation versus Test. ETS 2020: 1-10
[c16]Andrew Stern, Dhwani Mehta, Shahin Tajik, Farimah Farahmandi, Mark Tehranipoor:
SPARTA: A Laser Probing Approach for Trojan Detection. ITC 2020: 1-10
[c15]Adam Duncan, Adib Nahiyan, Fahim Rahman, Grant Skipper, Martin Swany
, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor:
SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment. VTS 2020: 1-6
2010 – 2019
- 2019
[j3]Farimah Farahmandi
, Prabhat Mishra
:
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. IEEE Trans. Computers 68(2): 182-197 (2019)
[j2]Adib Nahiyan
, Farimah Farahmandi
, Prabhat Mishra
, Domenic Forte
, Mark Tehranipoor:
Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(6): 1003-1016 (2019)
[c14]Adam Duncan, Fahim Rahman, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor:
FPGA Bitstream Security: A Day in the Life. ITC 2019: 1-10
[c13]Nusrat Farzana, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi:
SoC Security Verification using Property Checking. ITC 2019: 1-10
[p1]Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra
:
Security and Trust Verification of IoT SoCs. Security and Fault Tolerance in Internet of Things 2019: 1-19
[i2]M. Tanjidur Rahman, M. Sazadur Rahman, Huanyu Wang, Shahin Tajik, Waleed Khalil, Farimah Farahmandi, Domenic Forte, Navid Asadizanjani, Mark Tehranipoor:
Defense-in-Depth: A Recipe for Logic Locking to Prevail. CoRR abs/1907.08863 (2019)
[i1]M. Sazadur Rahman, Adib Nahiyan, Sarah Amir, Fahim Rahman, Farimah Farahmandi, Domenic Forte, Mark Tehranipoor:
Dynamically Obfuscated Scan Chain To Resist Oracle-Guided Attacks On Logic Locked Design. IACR Cryptol. ePrint Arch. 2019: 946 (2019)- 2018
[c12]Alif Ahmed, Farimah Farahmandi, Prabhat Mishra
:
Directed test generation using concolic testing on RTL models. DATE 2018: 1538-1543
[c11]Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra
:
Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. ITC 2018: 1-10
[c10]Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra
:
Hardware Trojan Detection Using ATPG and Model Checking. VLSID 2018: 91-96- 2017
[c9]Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra
:
Trojan localization using symbolic algebra. ASP-DAC 2017: 591-597
[c8]Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
:
Cost-effective analysis of post-silicon functional coverage events. DATE 2017: 392-397
[c7]Farimah Farahmandi, Prabhat Mishra
:
Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction. ICCD 2017: 193-200
[c6]Farimah Farahmandi, Prabhat Mishra
:
FSM Anomaly Detection Using Formal Analysis. ICCD 2017: 313-320- 2016
[c5]Farimah Farahmandi, Prabhat Mishra:
Automated test generation for Debugging arithmetic circuits. DATE 2016: 1351-1356
[c4]Farimah Farahmandi, Prabhat Mishra, Sandip Ray:
Exploiting transaction level models for observability-aware post-silicon test generation. DATE 2016: 1477-1480- 2015
[j1]Farimah Farahmandi, Bijan Alizadeh:
Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction. Microprocess. Microsystems 39(2): 83-96 (2015)
[c3]Xiaolong Guo, Raj Gautam Dutta, Yier Jin
, Farimah Farahmandi, Prabhat Mishra
:
Pre-silicon security verification and validation: a formal perspective. DAC 2015: 145:1-145:6- 2014
[c2]Farimah Farahmandi, Bijan Alizadeh, Zainalabedin Navabi:
Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits. ISVLSI 2014: 338-343- 2013
[c1]Somayeh Sadeghi Kohan, Shahrzad Keshavarz, Farzaneh Zokaee, Farimah Farahmandi, Zainalabedin Navabi:
A new structure for interconnect offline testing. EWDTS 2013: 1-5
Coauthor Index
aka: Mohammad Sazadur Rahman
aka: Mark Mohammad Tehranipoor

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-11 03:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







