Publications

Book Chapter

• Domain isolation and access control in multi-tenant cloud FPGAs
  Christophe Bobda; Joel Mandebi Mbongue; Sujan Kumar Saha; and Muhammed Kawser Ahmed
  In Security of FPGA-Accelerated Cloud Computing Environments, Springer International Publishing, 2023
  [chapter]

Patent

• Gray-box Hardware Penetration Testing Framework for Hardware Security Verification
  Mark Tehranipoor; Shuvagata Saha; Sujan Kumar Saha; Farimah Farahmandi; Fahim Rahman; Hasan Al-Shaikh; Kimia Zamiri Azar
  US Patent, filed (under review) , 2025
  

Journal Papers

• Rethinking System-on-Chip Verification for Secure Cross-layer Interactions
  Hasan Al Shaikh, Shuvagata Saha, Sujan Kumar Saha, Kimia Zamiri Azar, Farimah Farahmandi, and Mark Tehranipoor
  IEEE Design & Test, 2025
  [paper]
• VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
  Paul E Calzada, Zahin Ibnat, Tanvir Rahman, Kamal Kandula, Danyu Lu, Sujan Kumar Saha, Farimah Farahmandi, and Mark Tehranipoor
  arXiv preprint arXiv:2507.13369, 2025
  [paper | source code]
• SVAgent: AI Agent for Hardware Security Verification Assertion
  Rui Guo, Avinash Ayalasomayajula, Henian Li, Jingbo Zhou, Sujan Kumar Saha, and Farimah Farahmandi
  arXiv preprint arXiv:2507.16203, 2025
  [paper]
• DeepV: a model-agnostic retrieval-augmented framework for verilog code generation with a high-quality knowledge base
  Zahin Ibnat, Paul E Calzada, Rasin Mohammed Ihtemam, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, and Mark Tehranipoor
  arXiv preprint arXiv:2510.05327, 2025
  [paper]
• Multi-Tenant Cloud FPGA: A Survey on Security, Trust, and Privacy
  Muhammed Kawser Ahmed, Maximillian Panoff Kealoha, Joel Mandebi Mbongue, Sujan Kumar Saha, Erman Nghonda Tchinda, Peter Esenju Mbua, and Christophe Bobda
  ACM Transactions on Reconfigurable Technology and Systems (TRETS), 18(2), 1–44, 2025
  [paper]
• SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
  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, and others
  arXiv preprint arXiv:2506.20415, 2025
  [paper]
• Llm for soc security: A paradigm shift
  Dipayan Saha, Shams Tarek, Katayoon Yahyaei, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, and Farahmandi Farahmandi
  IEEE Access, 2024
  [paper]

Conference Papers

• LAsset: An LLM-assisted Security Asset Identification Framework for SoC Verification
  Md Ajoad Hasan, Dipayan Saha, Khan Thamid Hasan, Nashmin Alam, Azim Uddin, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi
  Accepted at Design, Automation, and Test in Europe (DATE) conference, 2026
  
• GEmFuzz: Uncovering System-Level Vulnerabilities in SoCs via Emulation-Based Grey-Box Fuzzing
  Shuvagata Saha, Ahmed Alhurubi, Tanvir Rahman, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi, and Mark Tehranipoor
  Accepted at Asia and South Pacific Design Automation Conference (ASP-DAC), 2026
  
• Automating Security Monitoring Event Generation for SoCs Using Large Language Models
  Mridha Md Mashahedur Rahman, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi
  Accepted at Government Microcircuit Applications and Critical Technology (GOMACTech) Conference, 2026
  
• Threat2SVA: Threat Model and CWE-Aware Security Assertion Generation Using LLM
  Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi
  Accepted at Government Microcircuit Applications and Critical Technology (GOMACTech) Conference, 2026
  
• Emulation-based Fuzzing for System-level Vulnerability Detection
  Shuvagata Saha, Ahmed Alhurubi, Tanvir Rahman, Sujan Kumar Saha, Farimah Farahmandi, and Mark Tehranipoor
  Accepted at Government Microcircuit Applications and Critical Technology (GOMACTech) Conference, 2026
  
• Trusting the Machine: How Secure is LLM-Generated RTL Code?
  Zahin Ibnat, Paul E Calzada, Dipayan Saha, Hasan Al-Shaikh, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, and Mark Tehranipoor
  ACM/IEEE Symposium on Machine Learning for CAD (MLCAD), 2025
  [paper | slide]
• Enhancing Hardware Security: Detecting Vulnerabilities in HDL Codes Using Fine-Tuned Large Language Model
  Dipayan Saha, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, and Farimah Farahmandi
  Annual Government Microcircuit Applications and Critical Technology (GOMACTech) Conference, 2025
  
• SocureLLM: An LLM-Driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation
  Shams Tarek, Dipayan Saha, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi
  IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2025
  [paper | slide]
• BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection
  Shams Tarek, Dipayan Saha, Sujan Kumar Saha, and Farimah Farahmandi
  IEEE VLSI Test Symposium (VTS), 2025
  [paper]
• Cultivating Security: Debug Authentication for Ensuring the Security of SoC's Root of Trust
  Arash Vafaei, Sujan Kumar Saha, Mark Tehranipoor and Farimah Farahmandi
  IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2025
  [paper | slide]
• EmFIA: A Novel Emulation-based Fault Injection Vulnerability Assessment Framework at RTL Level
  Tanvir Rahman, Shuvagata Saha, Sujan Kumar Saha, Farimah Farahmandi and Mark Tehranipoor
  IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2025
  [paper | slide]
• Continuity in Security: Leveraging LLM for Translating Security Properties Across Hardware Designs
  Bulbul Ahmed, Sujan Kumar Saha, Jingbo Zhou, Sohrab Aftabjahani, Mark Tehranipoor, and Farimah Farahmandi
  IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2024 (Best Paper candidate)
  [paper | slide]
• Empowering Hardware Security with LLM: The Development of a Vulnerable Hardware Database
  Dipayan Saha, Katayoon Yahyaei, Sujan Kumar Saha, Mark Tehranipoor, and Farimah Farahmandi
  IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2024
  [paper]
• Case Study: Fault-Injection Vulnerability Assessment at RTL Level
  Azim Uddin, Sujan Kumar Saha, Farimah Farahmandi, and Mark Tehranipoor
  IEEE Physical Assurance and Inspection of Electronics (PAINE), 2024
  [paper | slide]
• SAP: Silicon Authentication Platform for System-on-Chip Supply Chain Vulnerabilities
  Md Sami Ul Islam Sami, Jingbo Zhou, Sujan Kumar Saha, Fahim Rahman, Farimah Farahmandi, and Mark Tehranipoor
  IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2024
  [paper | slide]
• Lasp: LLM Assisted Security Property Generation for SoC Verification
  Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou, Sujan Kumar Saha, and Farimah Farahmandi
  ACM/IEEE International Symposium on Machine Learning for CAD (MLCAD), 2024
  [paper | slide]
• TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs
  Avinash Ayalasomayajula, Henin Li, Hasan Al Shaikh, Sujan Kumar Saha, and Farimah Farahmandi
  IEEE International Conference on Computer Design (ICCD), 2024
  [paper | slide]
• OpenTitan Based Multi-Level Security in FPGA System-on-Chips
  Sujan Kumar Saha, Abigail N Butka, Muhammed Kawser Ahmed, and Christophe Bobda
  International Conference on Field Programmable Technology (ICFPT), 2023
  [paper | slide]
• A Hardware/Software Architecture for System-on-Chip Security
  Sujan Kumar Saha, Muhammed Kawser Ahmed, and Christophe Bobda
  Annual Government Microcircuit Applications and Critical Technology Conference (GOMACTech), 2023
  
• Trusted IP Solution in Multi-Tenant Cloud FPGA Platform
  Muhammed Kawser Ahmed, Sujan Kumar Saha, and Christophe Bobda
  IEEE World Forum on Internet of Things (WF-IoT), 2022
  [paper]
• Metrics for Assessing Security of System-on-Chip
  Sujan Kumar Saha, Joel Mandebi Mbongue, and Christophe Bobda
  IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2022
  [paper]
• A Security Architecture for Domain Isolation in Multi-Tenant Cloud FPGAs
  Joel Mandebi Mbongue, Sujan Kumar Saha, and Christophe Bobda
  IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2021
  [paper]
• Domain Isolation in FPGA-Accelerated Cloud and Data Center Applications
  Joel Mandebi Mbongue, Sujan Kumar Saha, and Christophe Bobda
  Great Lakes Symposium on VLSI (GLSVLSI), 2021
  [paper | slide]
• Performance Study of Multi-Tenant Cloud FPGAs
  Joel Mandebi Mbongue, Sujan Kumar Saha, and Christophe Bobda
  IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2021
  [paper]
• System-on-Chip (SoC) Security through Dynamic Policy Enforcement in Hardware Accelerators
  Sujan Kumar Saha and Christophe Bobda
  Annual Government Microcircuit Applications and Critical Technology Conference (GOMACTech), 2021
  
• FPGA Accelerated Embedded System Security through Hardware Isolation
  Sujan Kumar Saha and Christophe Bobda
  Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2020
  [paper]
• Attention-Based Secure Feature Extraction in Near Sensor Processing: Work-in-Progress
  Pankaj Bhowmik, Md Jubaer Hossain Pantho, Sujan Kumar Saha, and Christophe Bobda
  International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2020
  [paper]
• STGM: Spatio-Temporal GPU Management for Real-Time Tasks
  Sujan Kumar Saha, Yecheng Xiang, and Hyoseung Kim
  IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019
  [paper | slide]
• A Reconfigurable Layered-Based Bio-Inspired Smart Image Sensor
  Pankaj Bhowmik, Md Jubaer Hossain Pantho, Sujan Kumar Saha, and Christophe Bobda
  IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2019
  [paper]
• MeXT: A Flow for Multiprocessor Exploration
  Christophe Bobda, Harold Ishebabi, Philipp Mahr, Joel Mandebi Mbongue, and Sujan Kumar Saha
  IEEE High Performance Extreme Computing Conference (HPEC), 2019
  [paper | slide]
• Synthesis of Hardware Sandboxes for Trojan Mitigation in Systems on Chip
  Christophe Bobda, Taylor Whitaker, Joel Mandebi Mbongue, and Sujan Kumar Saha
  IEEE High Performance Extreme Computing Conference (HPEC), 2019
  [paper | slide]
• Byte-Based Partial-Match Instruction and Data Compression for High-Performance and Low-Power Interconnects
  Sujan Kumar Saha and Jiangjiang Liu
  IEEE International New Circuits and Systems Conference (NEWCAS), 2016
  [paper | slide]
• A Survey on Interconnect Encoding for Reducing Power Consumption, Delay, and Crosstalk
  Sujan Kumar Saha, Bulbul Ahmed, and Jiangjiang Liu
  IEEE International Conference on Electrical Information and Communication Technologies (EICT), 2015
  [paper]
• Modified Bus Invert Encoding to Reduce Capacitive Crosstalk, Power, and Inductive Noise
  Bulbul Ahmed, Sujan Kumar Saha, and Jiangjiang Liu
  IEEE International Conference on Electrical Information and Communication Technologies (EICT), 2015
  [paper]