Presentation
SoCureLLM: An LLM-driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation
DescriptionContemporary methods for hardware security verification struggle with adaptability, scalability, and availability due to the increasing complexity of the modern System-on-Chips (SoCs). In this light, we introduce SoCureLLM, a Large Language Model (LLM)-based framework that excels in identifying security vulnerabilities within SoC designs and creating a comprehensive security policy database. This scalable framework processes varied, large-scale designs, overcoming token limitation and memorization issues of existing LLMs. In evaluations, SoCureLLM detected 76.47% of security bugs across three vulnerable SoCs, outperforming the state-of-the-art security verification methods. Furthermore, assessing three additional large-scale SoC designs against various threat models led to the formulation of 84 novel security policies, enriching the security policy database.
Event Type
Work-in-Progress Poster
TimeTuesday, June 256:00pm - 7:00pm PDT
LocationLevel 2 Lobby
AI
Autonomous Systems
Cloud
Design
EDA
Embedded Systems
IP
Security