DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection
Not on the map. Why?
Abstract (arXiv)
Securing critical assets in a bus-based System-On-Chip (SoC) is imperative to mitigate potential vulnerabilities and prevent unauthorized access, ensuring the integrity, availability, and confidentiality of the system. Ensuring security throughout the SoC design process is a formidable task owing to the inherent intricacies in SoC designs and the dispersion of assets across diverse IPs. Large Language Models (LLMs), exemplified by ChatGPT (OpenAI) and BARD (Google), have showcased remarkable proficiency across various domains, including security vulnerability detection and prevention in SoC designs. In this work, we propose DIVAS, a novel framework that leverages the knowledge base of LLMs to identify security vulnerabilities from user-defined SoC specifications, map them to the relevant Common Weakness Enumerations (CWEs), followed by the generation of equivalent assertions, and employ security measures through enforcement of security policies. The proposed framework is implemented using multiple ChatGPT and BARD models, and their performance was analyzed while generating relevant CWEs from the SoC specifications provided. The experimental results obtained from open-source SoC benchmarks demonstrate the efficacy of our proposed framework.
Key facts. Cited by 12 papers in the map (data through 14 Oct 2026). First posted on arXiv 14 Aug 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 4; 2024: 4; 2025: 4.
12 papers.
- 2023A Survey on Large Language Model (LLM) Security and Privacy: The Good, the Bad, and the Uglycited by 387
- 2024When LLMs Meet Cybersecurity: A Systematic Literature Reviewcited by 71
- 2024MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generationcited by 46
- 2023LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automationcited by 40
- 2023LLM for SoC Security: A Paradigm Shiftcited by 22
- 2023Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptionscited by 20
- 2024LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trustcited by 20
- 2024New Solutions on LLM Acceleration, Optimization, and Applicationcited by 7
- 2025SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Modelscited by 6
- 2025SVAgent: AI Agent for Hardware Security Verification Assertioncited by 1
- 2025MGC: A Compiler Framework Exploiting Compositional Blindness in Aligned LLMs for Malware Generationcited by 0
- 2025Large Language Models in Cybersecurity: Applications, Vulnerabilities, and Defense Techniquescited by 0
- 2025SVAgent: AI Agent for Hardware Security Verification Assertion22 Jul 2025
- 2025Large Language Models in Cybersecurity: Applications, Vulnerabilities, and Defense Techniques18 Jul 2025
- 2025MGC: A Compiler Framework Exploiting Compositional Blindness in Aligned LLMs for Malware Generation2 Jul 2025
- 2025SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models25 Jun 2025
- 2024MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation2 Jul 2024
- 2024New Solutions on LLM Acceleration, Optimization, and Application16 Jun 2024
- 2024LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trust11 May 2024
- 2024When LLMs Meet Cybersecurity: A Systematic Literature Review6 May 2024
- 2023LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation28 Dec 2023
- 2023A Survey on Large Language Model (LLM) Security and Privacy: The Good, the Bad, and the Ugly4 Dec 2023
- 2023LLM for SoC Security: A Paradigm Shift9 Oct 2023
- 2023Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptions3 Oct 2023