Farimah Farahmandi

167 papers A* 8A 24B 5C 8Misc 10Journal 78Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	GEmFuzz: Uncovering System-Level Vulnerabilities in SoCs via Emulation-Based Grey-Box Fuzzing. ASP-DAC Shuvagata Saha, Ahmed Alhurubi, Tanvir Rahman, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor
2026	J	`jnl`	IFV: Information Flow Verification at the Pre-silicon Stage Utilizing Static-Formal Methodology. IACR Cryptol. ePrint Arch. Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2026	J	`jnl`	LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification. CoRR Md. Ajoad Hasan, Dipayan Saha, Khan Thamid Hasan, Nashmin Alam, Azim Uddin, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi
2026	J	`jnl`	Redefining Tradition: An Active Watermarking Approach for IP Protection in SoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zahin Ibnat, Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Jingbo Zhou, Farimah Farahmandi
2025	Misc	`conf`	BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. VTS Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi
2025	J	`jnl`	BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. CoRR Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi
2025	J	`jnl`	BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection. IACR Cryptol. ePrint Arch. Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Farimah Farahmandi
2025	C	`conf`	Cultivating Security: Debug Authentication for Ensuring the Security of SoC's Root of Trust. VLSI-SoC Arash Vafaei, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi
2025	J	`jnl`	DL-SCADS: Deep Learning-Based Post-Silicon Side-Channel Analysis Using Decomposed Signal. IACR Cryptol. ePrint Arch. Dipayan Saha, Farimah Farahmandi
2025	J	`jnl`	DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base. CoRR Zahin Ibnat, Paul E. Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor
2025	C	`conf`	EmFIA: A Novel Emulation-based Fault Injection Vulnerability Assessment Framework at RTL Level. VLSI-SoC Tanvir Rahman, Shuvagata Saha, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	EvoLUTe+: Fine-Grained Look-Up-Table-based RTL IP Redaction. IACR Cryptol. ePrint Arch. Rui Guo, M. Sazadur Rahman, Jingbo Zhou, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	GEM-Water: Generation of EM-Based Watermark With Hidden FSM for SoC IPs to Combat Piracy. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pantha Protim Sarker, Upoma Das, Mohammad Bin Monjil, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor
2025	—	`conf`	ML-EMFI: A Machine Learning-Driven Pre-Silicon Electromagnetic Fault Injection Security Evaluation for Robust IC Design. HOST 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
2025	—	`conf`	NoXLock: SiP Activation and Licensing through Obfuscated on-Chip Network and Fuzzy Traffic. ASP-DAC Md. Saad Ul Haque, Azim Uddin, Jingbo Zhou, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	POCA: First Power-on Chip Authentication and Key Exchange for Secure Provisioning in System-on-Chip. IEEE Trans. Very Large Scale Integr. Syst. Md Sami Ul Islam Sami, Amit Mazumder Shuvo, Fahim Rahman, Adam Cron, Dale R. Donchin, Mike Borza, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	PSCMark: Power Side Channel-based Watermarking for SoC IPs Using Clock Gates. ACM Trans. Design Autom. Electr. Syst. Upoma Das, Mohammad Sazadur Rahman, Akshay Kulkarni, Mark Tehranipoor, Farimah Farahmandi
2025	C	`conf`	Physical Design-Aware Power Side-Channel Leakage Assessment Framework using Deep Learning. ISCAS Dipayan Saha, Jingbo Zhou, Farimah Farahmandi
2025	J	`jnl`	Physical Design-Aware Power Side-Channel Leakage Assessment Framework using Deep Learning. IACR Cryptol. ePrint Arch. Dipayan Saha, Jingbo Zhou, Farimah Farahmandi
2025	J	`jnl`	Re-Pen: Reinforcement Learning-Enforced Penetration Testing for SoC Security Verification. IEEE Trans. Very Large Scale Integr. Syst. Hasan Al Shaikh, Shuvagata Saha, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2025	—	`conf`	ReFID: A System-Aware Remote Fault-Injection Attack Detection & Mitigation for Secure Heterogeneous System. HOST Amit Mazumder Shuvo, Md Latifur Rahman, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	Rethinking SoC Verification for Secure Cross-Layer Interactions. IEEE Des. Test Hasan Al Shaikh, Shuvagata Saha, Sujan Kumar Saha, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	SAFET-HI: Secure Authentication-Based Framework for Encrypted Testing in Heterogeneous Integration. IEEE J. Emerg. Sel. Topics Circuits Syst. Galib Ibne Haidar, Jingbo Zhou, Md Sami Ul Islam Sami, Mark Mohammad Tehranipoor, Farimah Farahmandi
2025	J	`jnl`	SPY-PMU: Side-Channel Profiling of Your Performance Monitoring Unit to Leak Remote User Activity. IACR Cryptol. ePrint Arch. Md Kawser Bepary, Arunabho Basu, Sajeed Mohammad, Rakibul Hassan, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. CoRR 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
2025	J	`jnl`	SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. IACR Cryptol. ePrint Arch. 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
2025	J	`jnl`	SVAgent: AI Agent for Hardware Security Verification Assertion. CoRR Rui Guo, Avinash Ayalasomayajula, Henian Li, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi
2025	—	`conf`	SoCureLLM: An LLM-Driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation. HOST Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi
2025	Misc	`conf`	Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. VTS Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025	J	`jnl`	ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. CoRR Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025	J	`jnl`	ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. IACR Cryptol. ePrint Arch. Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025	J	`jnl`	Towards Efficient Gate-Level Electromagnetic Side-Channel Leakage Modeling and Vulnerability Assessment. J. Hardw. Syst. Secur. Md Kawser Bepary, Tao Zhang, Jingbo Zhou, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2025	—	`conf`	Trusting the Machine: How Secure is LLM-Generated RTL Code? MLCAD Zahin Ibnat, Paul E. Calzada, Dipayan Saha, Hasan Al Shaikh, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation. CoRR Paul E. Calzada, Zahin Ibnat, Tanvir Rahman, Kamal Kandula, Danyu Lu, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor
2025	J	`jnl`	When Everyday Devices Become Weapons: A Closer Look at the Pager and Walkie-talkie Attacks. CoRR Pantha Protim Sarker, Upoma Das, Nitin Varshney, Shang Shi, Akshay Kulkarni, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	A Survey on SoC Security Verification Methods at the Pre-silicon Stage. IACR Cryptol. ePrint Arch. Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities. IEEE Trans. Inf. Forensics Secur. Nusrat Farzana Dipu, Avinash Ayalasomayajula, Mark Tehranipoor, Farimah Farahmandi
2024	J	`jnl`	Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration. IEEE Access 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
2024	J	`jnl`	Automatic Asset Identification for Assertion-Based SoC Security Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Avinash Ayalasomayajula, Nusrat Farzana Dipu, Mark Tehranipoor, Farimah Farahmandi
2024	Misc	`conf`	CAD Tools Pathway in Hardware Security. VLSID Sree Ranjani Rajendran, Farimah Farahmandi, Mark Tehranipoor
2024	C	`conf`	Continuity in Security: Leveraging LLM for Translating Security Properties Across Hardware Designs. VLSI-SoC Bulbul Ahmed, Sujan Kumar Saha, Jingbo Zhou, Sohrab Aftabjahani, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	DL-SCADS: Deep Learning-Based Post-Silicon Side-Channel Analysis Using Decomposed Signal. IEEECONF Dipayan Saha, Farimah Farahmandi
2024	—	`conf`	DyFORA: Dynamic Firmware Obfuscation and Remote Attestation using Hardware Signatures. ACM Great Lakes Symposium on VLSI Sajeed Mohammad, Farimah Farahmandi
2024	J	`jnl`	Efficient SoC Security Monitoring: Quality Attributes and Potential Solutions. IEEE Des. Test Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	Empowering Hardware Security with LLM: The Development of a Vulnerable Hardware Database. HOST Dipayan Saha, Katayoon Yahyaei, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi
2024	J	`jnl`	Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities Beneath Software. IEEE Trans. Inf. Forensics Secur. Sree Ranjani Rajendran, Nusrat Farzana Dipu, Shams Tarek, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	FLAT: Layout-Aware and Security Property-Assisted Timing Fault-Injection Attack Assessment. IEEE Trans. Very Large Scale Integr. Syst. Amit Mazumder Shuvo, Tao Zhang, Farimah Farahmandi, Mark Mohammad Tehranipoor
2024	J	`jnl`	FTC: A Universal Framework for Fault-Injection Attack Detection and Prevention. IEEE Trans. Very Large Scale Integr. Syst. Md Rafid Muttaki, Md. Habibur Rahman, Akshay Kulkarni, Mark Tehranipoor, Farimah Farahmandi
2024	B	`conf`	FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection. ASPDAC Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2024	C	`conf`	FortBoot: Fortifying Rooted-in-Device-Specific Security Through Secure Booting. VLSI-SoC Sajeed Mohammad, Farimah Farahmandi
2024	J	`jnl`	Fuzzing for Automated SoC Security Verification: Challenges and Solution. IEEE Des. Test Muhammad Monir Hossain, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2024	A*	`conf`	GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package. DAC Galib Ibne Haidar, Kimia Zamiri Azar, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	HI-SST: Safeguarding SiP Authenticity Through Secure Split-Test in Heterogeneous Integration. ISVLSI Paul E. Calzada, Md Sami Ul Islam Sami, Jingbo Zhou, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	Heterogeneous Integration Supply Chain Integrity Through Blockchain and CHSM. ACM Trans. Design Autom. Electr. Syst. Paul E. Calzada, Md Sami Ul Islam Sami, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	INSPECT: Investigating Supply Chain and Cyber-Physical Security of Battery Systems. IACR Cryptol. ePrint Arch. Tao Zhang, Shang Shi, Md. Habibur Rahman, Nitin Varshney, Akshay Kulkarni, Farimah Farahmandi, Mark Tehranipoor
2024	J	`jnl`	Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration. IEEE Trans. Inf. Forensics Secur. Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
2024	—	`conf`	LASP: LLM Assisted Security Property Generation for SoC Verification. MLCAD Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi
2024	J	`jnl`	LLM for SoC Security: A Paradigm Shift. IEEE Access Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi
2024	A	`conf`	RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation. DATE Nurun Nahar Mondol, Arash Vafaei, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2024	B	`conf`	SAP: Silicon Authentication Platform for System-on-Chip Supply Chain Vulnerabilities. ISPASS Md Sami Ul Islam Sami, Jingbo Zhou, Sujan Kumar Saha, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2024	A	`conf`	SECT-HI: Enabling Secure Testing for Heterogeneous Integration to Prevent SiP Counterfeits. ITC Galib Ibne Haidar, Md Sami Ul Islam Sami, Jingbo Zhou, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	SeeMLess: Security Evaluation of Logic Locking using Machine Learning oriented Estimation. ACM Great Lakes Symposium on VLSI Bulbul Ahmed, M. Sazadur Rahman, Kimia Zamiri Azar, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor
2024	J	`jnl`	SiPGuard: Run-Time System-in-Package Security Monitoring via Power Noise Variation. IEEE Trans. Very Large Scale Integr. Syst. Tao Zhang, Md Latifur Rahman, Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi
2024	J	`jnl`	SoCureLLM: An LLM-driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation. IACR Cryptol. ePrint Arch. Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi
2024	C	`conf`	TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs. ICCD Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi
2024	J	`jnl`	The Road Not Taken: eFPGA Accelerators Utilized for SoC Security Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi
2024	—	`conf`	Towards Quantum-Resistant Security: Pre-Silicon Power Side-Channel Leakage Analysis of CRYSTALS-Kyber. ISVLSI Nashmin Alam, Tao Zhang, Farimah Farahmandi
2024	J	`jnl`	TrustGuard: Standalone FPGA-Based Security Monitoring Through Power Side-Channel. IEEE Trans. Very Large Scale Integr. Syst. Tao Zhang, Mark Mohammad Tehranipoor, Farimah Farahmandi
2023	J	`jnl`	A Comprehensive Survey on Non-Invasive Fault Injection Attacks. IACR Cryptol. ePrint Arch. Amit Mazumder Shuvo, Tao Zhang, Farimah Farahmandi, Mark Tehranipoor
2023	A	`conf`	ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. ITC Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2023	J	`jnl`	ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. IACR Cryptol. ePrint Arch. Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2023	A*	`conf`	ActiWate: Adaptive and Design-agnostic Active Watermarking for IP Ownership in Modern SoCs. DAC Zahin Ibnat, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi
2023	—	`conf`	Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough. ISVLSI Shams Tarek, Hasan Al Shaikh, Sree Ranjani Rajendran, Farimah Farahmandi
2023	B	`conf`	BitFREE: On Significant Speedup and Security Applications of FPGA Bitstream Format Reverse Engineering. ETS Tao Zhang, Mark Tehranipoor, Farimah Farahmandi
2023	Misc	`conf`	CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme. VTS Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2023	—	`conf`	EnSAFe: Enabling Sustainable SoC Security Auditing using eFPGA-based Accelerators. DFT Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Farimah Farahmandi
2023	J	`jnl`	Enabling Security of Heterogeneous Integration: From Supply Chain to In-Field Operations. IEEE Des. Test Md Sami Ul Islam Sami, Hadi Mardani Kamali, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor
2023	A	`conf`	EvoLUTe: Evaluation of Look-Up-Table-based Fine-Grained IP Redaction. DATE Rui Guo, M. Sazadur Rahman, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2023	J	`jnl`	FPGA-Chain: Enabling Holistic Protection of FPGA Supply Chain With Blockchain Technology. IEEE Des. Test Tao Zhang, Fahim Rahman, Mark Mohammad Tehranipoor, Farimah Farahmandi
2023	J	`jnl`	FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2023	J	`jnl`	HLock+: A Robust and Low-Overhead Logic Locking at the High-Level Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Md Rafid Muttaki, Roshanak Mohammadivojdan, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi
2023	A	`conf`	HUnTer: Hardware Underneath Trigger for Exploiting SoC-level Vulnerabilities. DATE Sree Ranjani Rajendran, Shams Tarek, Benjamin M. Hicks, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
2023	J	`jnl`	Introduction to the Special Issue on CAD for Security: Pre-silicon Security Sign-off Solutions Through Design Cycle. ACM J. Emerg. Technol. Comput. Syst. Farimah Farahmandi, Ankur Srivastava, Giorgio Di Natale, Mark Tehranipoor
2023	—	`conf`	Iterative Mitigation of Insecure Resource Sharing Produced by High-level Synthesis. DFT Zahin Ibnat, Hadi Mardani Kamali, Farimah Farahmandi
2023	J	`jnl`	LLM for SoC Security: A Paradigm Shift. CoRR Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi
2023	J	`jnl`	LLM for SoC Security: A Paradigm Shift. IACR Cryptol. ePrint Arch. Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi
2023	—	`conf`	Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking. ACM Great Lakes Symposium on VLSI Mohammad Sazadur Rahman, Kimia Zamiri Azar, Farimah Farahmandi, Hadi Mardani Kamali
2023	B	`conf`	PSC-Watermark: Power Side Channel Based IP Watermarking Using Clock Gates. ETS Upoma Das, M. Sazadur Rahman, N. Nalla Anandakumar, Kimia Zamiri Azar, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2023	—	`conf`	QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy. DFT Hasan Al Shaikh, Mohammad Bin Monjil, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2023	A	`conf`	RTLock: IP Protection using Scan-Aware Logic Locking at RTL. DATE Md Rafid Muttaki, Shyvagata Saha, Hadi Mardani Kamali, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2023	J	`jnl`	ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach. IEEE Access M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2023	—	`conf`	SHarPen: SoC Security Verification by Hardware Penetration Test. ASP-DAC Hasan Al Shaikh, Arash Vafaei, Mridha Md Mashahedur Rahman, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2023	—	`conf`	SecHLS: Enabling Security Awareness in High-Level Synthesis. ASP-DAC Shang Shi, Nitin Pundir, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi
2023	—	`conf`	Security of Hardware Generators: Enabling Assurance in High-Level Synthesis. MWSCAS Md Rafid Muttaki, Zahin Ibnat, Shang Shi, Hadi Mardani Kamali, Farimah Farahmandi
2023	A	`conf`	SheLL: Shrinking eFPGA Fabrics for Logic Locking. DATE Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2023	A	`conf`	SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. DATE Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2023	Misc	`conf`	Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. VTS 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	A	`conf`	TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. ICCAD Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	ACED-IT: Assuring Confidential Electronic Design Against Insider Threats in a Zero-Trust Environment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andrew Stern, Huanyu Wang, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2022	A	`conf`	ADWIL: A Zero-Overhead Analog Device Watermarking Using Inherent IP Features. ITC Upoma Das, Md Rafid Muttaki, Mark Tehranipoor, Farimah Farahmandi
2022	A	`conf`	AIME: Watermarking AI Models by Leveraging Errors. DATE Dhwani Mehta, Nurun N. Mondol, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	Advances in Logic Locking: Past, Present, and Prospects. IACR Cryptol. ePrint Arch. Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	Analyzing Security Vulnerabilities Induced by High-level Synthesis. ACM J. Emerg. Technol. Comput. Syst. Nitin Pundir, Sohrab Aftabjahani, Rosario Cammarota, Mark Tehranipoor, Farimah Farahmandi
2022	J	`jnl`	Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications. CoRR Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Navid Asadizanjani, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2022	J	`jnl`	Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications. IACR Cryptol. ePrint Arch. Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Farimah Farahmandi, Navid Asadizanjani, Mark Tehranipoor, Fahim Rahman
2022	J	`jnl`	FSMx-Ultra: Finite State Machine Extraction from Gate-Level Netlist for Security Assessment. IACR Cryptol. ePrint Arch. Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor
2022	Misc	`conf`	FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security. VTS Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor
2022	—	`conf`	FTC: A Universal Sensor for Fault Injection Attack Detection. HOST Md Rafid Muttaki, Tao Zhang, Mark Tehranipoor, Farimah Farahmandi
2022	J	`jnl`	Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions. IACR Cryptol. ePrint Arch. Kimia Zamiri Azar, Muhammad Monir Hossain, Arash Vafaei, Hasan Al Shaikh, Nurun N. Mondol, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2022	—	`conf`	LDTFI: Layout-aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis. ISVLSI Amit Mazumder Shuvo, Nitin Pundir, Jungmin Park, Farimah Farahmandi, Mark Tehranipoor
2022	A*	`conf`	O'clock: lock the clock via clock-gating for SoC IP protection. DAC M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mohamed Abdel-Moneum, Mark Tehranipoor
2022	J	`jnl`	PQC-SEP: Power Side-channel Evaluation Platform for Post-Quantum Cryptography Algorithms. IACR Cryptol. ePrint Arch. Jungmin Park, N. Nalla Anandakumar, Dipayan Saha, Dhwani Mehta, Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	Power Side-Channel Leakage Assessment Framework at Register-Transfer Level. IEEE Trans. Very Large Scale Integr. Syst. Nitin Pundir, Jungmin Park, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	Quantifiable Assurance: From IPs to Platforms. CoRR 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
2022	A	`conf`	RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications. ITC Rasheed Kibria, M. Sazadur Rahman, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	Rethinking Watermark: Providing Proof of IP Ownership in Modern SoCs. IACR Cryptol. ePrint Arch. N. Nalla Anandakumar, M. Sazadur Rahman, Mridha Md Mashahedur Rahman, Rasheed Kibria, Upoma Das, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor
2022	J	`jnl`	Secure Physical Design. IACR Cryptol. ePrint Arch. Sukanta Dey, Jungmin Park, Nitin Pundir, Dipayan Saha, Amit Mazumder Shuvo, Dhwani Mehta, Navid Asadi, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2022	A*	`conf`	Secure by construction: addressing security vulnerabilities introduced during high-level synthesis: invited. DAC Md Rafid Muttaki, Zahin Ibnat, Farimah Farahmandi
2022	—	`conf`	Security Properties Driven Pre-Silicon Laser Fault Injection Assessment. HOST Nitin Pundir, Henian Li, Lang Lin, Norman Chang, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	SoFI: Security Property-Driven Vulnerability Assessments of ICs Against Fault-Injection Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Huanyu Wang, Henian Li, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2022	J	`jnl`	ToSHI - Towards Secure Heterogeneous Integration: Security Risks, Threat Assessment, and Assurance. IACR Cryptol. ePrint Arch. 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
2022	—	`conf`	Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers. HOST Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor
2022	J	`jnl`	eChain: A Blockchain-Enabled Ecosystem for Electronic Device Authenticity Verification. IEEE Trans. Consumer Electron. Nidish Vashistha, Muhammad Monir Hossain, Md Rakib Shahriar, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor
2021	J	`jnl`	An End-to-End Bitstream Tamper Attack Against Flip-Chip FPGAs. IACR Cryptol. ePrint Arch. Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2021	A	`conf`	AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow. ICCAD Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark Tehranipoor
2021	A	`conf`	BOFT: Exploitable Buffer Overflow Detection by Information Flow Tracking. DATE Muhammad Monir Hossain, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2021	—	`conf`	HEXON: Protecting Firmware Using Hardware-Assisted Execution-Level Obfuscation. ISVLSI Muhammad Monir Hossain, Sajeed Mohammad, Jason Vosatka, Jeffery S. Allen, Monica Allen, Farimah Farahmandi, Fahim Rahman, Mark Tehranipoor
2021	A*	`conf`	HLock: Locking IPs at the High-Level Language. DAC Md Rafid Muttaki, Roshanak Mohammadivojdan, Mark Tehranipoor, Farimah Farahmandi
2021	A*	`conf`	Invited: End-to-End Secure SoC Lifecycle Management. DAC Md Sami Ul Islam Sami, Fahim Rahman, Farimah Farahmandi, Adam Cron, Mike Borza, Mark Tehranipoor
2021	A	`conf`	LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment. ITC M. Sazadur Rahman, Henian Li, Rui Guo, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2021	—	`conf`	POCA: First Power-on Chip Authentication in Untrusted Foundry and Assembly. HOST Md Sami Ul Islam Sami, Fahim Rahman, Adam Cron, Dale R. Donchin, Mike Borza, Farimah Farahmandi, Mark Tehranipoor
2021	A*	`conf`	PSC-TG: RTL Power Side-Channel Leakage Assessment with Test Pattern Generation. DAC Tao Zhang, Jungmin Park, Mark Tehranipoor, Farimah Farahmandi
2021	J	`jnl`	Quantifiable Assurance: From IPs to Platforms. IACR Cryptol. ePrint Arch. 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
2021	—	`conf`	Required Policies and Properties of the Security Engine of an SoC. iSES Sajeed Mohammad, Mridha Md Mashahedur Rahman, Farimah Farahmandi
2021	Misc	`conf`	SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level. VTS Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2021	—	`conf`	Secure High-Level Synthesis: Challenges and Solutions. ISQED Nitin Pundir, Farimah Farahmandi, Mark Tehranipoor
2021	J	`jnl`	Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks. ACM Trans. Design Autom. Electr. Syst. M. Sazadur Rahman, Adib Nahiyan, Fahim Rahman, Saverio Fazzari, Kenneth Plaks, Farimah Farahmandi, Domenic Forte, Mark Tehranipoor
2021	J	`jnl`	SoC Security Properties and Rules. IACR Cryptol. ePrint Arch. Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor
2021	Misc	`conf`	Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. VTS Sohrab Aftabjahani, Ryan Kastner, Mark Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff
2021	A	`conf`	SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. ITC Arash Vafaei, Nick Hooten, Mark Tehranipoor, Farimah Farahmandi
2021	J	`jnl`	What is All the FaaS About? - Remote Exploitation of FPGA-as-a-Service Platforms. IACR Cryptol. ePrint Arch. Nitin Pundir, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2020	J	`jnl`	Defense-in-depth: A recipe for logic locking to prevail. Integr. M. Tanjidur Rahman, M. Sazadur Rahman, Huanyu Wang, Shahin Tajik, Waleed Khalil, Farimah Farahmandi, Domenic Forte, Navid Asadizanjani, Mark Tehranipoor
2020	B	`conf`	Design Obfuscation versus Test. ETS Farimah Farahmandi, Ozgur Sinanoglu, Ronald D. Blanton, Samuel Pagliarini
2020	J	`jnl`	SCRIPT: A CAD Framework for Power Side-channel Vulnerability Assessment Using Information Flow Tracking and Pattern Generation. ACM Trans. Design Autom. Electr. Syst. Adib Nahiyan, Jungmin Park, Miao Tony He, Yousef Iskander, Farimah Farahmandi, Domenic Forte, Mark Tehranipoor
2020	A	`conf`	SPARTA: A Laser Probing Approach for Trojan Detection. ITC Andrew Stern, Dhwani Mehta, Shahin Tajik, Farimah Farahmandi, Mark Tehranipoor
2020	Misc	`conf`	SeRFI: Secure Remote FPGA Initialization in an Untrusted Environment. VTS Adam Duncan, Adib Nahiyan, Fahim Rahman, Grant Skipper, Martin Swany, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor
2019	J	`jnl`	Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. IEEE Trans. Computers Farimah Farahmandi, Prabhat Mishra
2019	J	`jnl`	Defense-in-Depth: A Recipe for Logic Locking to Prevail. CoRR M. Tanjidur Rahman, M. Sazadur Rahman, Huanyu Wang, Shahin Tajik, Waleed Khalil, Farimah Farahmandi, Domenic Forte, Navid Asadizanjani, Mark Tehranipoor
2019	J	`jnl`	Dynamically Obfuscated Scan Chain To Resist Oracle-Guided Attacks On Logic Locked Design. IACR Cryptol. ePrint Arch. M. Sazadur Rahman, Adib Nahiyan, Sarah Amir, Fahim Rahman, Farimah Farahmandi, Domenic Forte, Mark Tehranipoor
2019	A	`conf`	FPGA Bitstream Security: A Day in the Life. ITC Adam Duncan, Fahim Rahman, Andrew Lukefahr, Farimah Farahmandi, Mark Tehranipoor
2019	—	`ch.`	Security and Trust Verification of IoT SoCs. Security and Fault Tolerance in Internet of Things Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra
2019	J	`jnl`	Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra, Domenic Forte, Mark Tehranipoor
2019	A	`conf`	SoC Security Verification using Property Checking. ITC Nusrat Farzana, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi
2018	A	`conf`	Directed test generation using concolic testing on RTL models. DATE Alif Ahmed, Farimah Farahmandi, Prabhat Mishra
2018	Misc	`conf`	Hardware Trojan Detection Using ATPG and Model Checking. VLSID Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra
2018	A	`conf`	Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. ITC Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra
2017	C	`conf`	Automated Debugging of Arithmetic Circuits Using Incremental Gröbner Basis Reduction. ICCD Farimah Farahmandi, Prabhat Mishra
2017	A	`conf`	Cost-effective analysis of post-silicon functional coverage events. DATE Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
2017	C	`conf`	FSM Anomaly Detection Using Formal Analysis. ICCD Farimah Farahmandi, Prabhat Mishra
2017	—	`conf`	Trojan localization using symbolic algebra. ASP-DAC Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra
2016	A	`conf`	Automated test generation for Debugging arithmetic circuits. DATE Farimah Farahmandi, Prabhat Mishra
2016	A	`conf`	Exploiting transaction level models for observability-aware post-silicon test generation. DATE Farimah Farahmandi, Prabhat Mishra, Sandip Ray
2015	J	`jnl`	Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction. Microprocess. Microsystems Farimah Farahmandi, Bijan Alizadeh
2015	A*	`conf`	Pre-silicon security verification and validation: a formal perspective. DAC Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra
2014	—	`conf`	Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits. ISVLSI Farimah Farahmandi, Bijan Alizadeh, Zainalabedin Navabi
2013	—	`conf`	A new structure for interconnect offline testing. EWDTS Somayeh Sadeghi Kohan, Shahrzad Keshavarz, Farzaneh Zokaee, Farimah Farahmandi, Zainalabedin Navabi