Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog

Created by
  • Haebom

저자

Xiang Long, Yingjie Xia, Xiyuan Chen, Li Kuang

개요

본 논문은 하드웨어 취약성의 조기 탐지를 위한 새로운 방법인 VerilogLAVD를 제안한다. 기존 방법들이 전문 지식을 필요로 하는 한계를 극복하기 위해, 본 논문은 대규모 언어 모델(LLM)을 활용하여 Verilog 코드의 취약성을 탐지하는 접근 방식을 제시한다. Verilog 코드를 통합적으로 표현하는 Verilog Property Graph (VeriPG)를 도입하여 구문 및 의미 정보를 결합하고, LLM을 이용하여 CWE(Common Weakness Enumeration) 설명으로부터 VeriPG 기반의 탐지 규칙을 생성한다. 이 규칙들은 VeriPG를 탐색하여 잠재적인 취약성을 찾는 규칙 실행기에 사용된다. 77개의 Verilog 설계에 대한 실험 결과, 12가지 CWE 유형에 대해 F1-score 0.54를 달성하였으며, LLM 단독 또는 외부 지식 기반과 비교하여 각각 0.31 및 0.27의 F1-score 향상을 보였다.

시사점, 한계점

시사점:
LLM을 활용한 Verilog 취약성 탐지의 새로운 접근 방식 제시
VeriPG를 통한 Verilog 코드의 효과적인 표현 및 분석
CWE 설명을 활용한 자동화된 탐지 규칙 생성
기존 LLM 기반 방법 대비 성능 향상
한계점:
F1-score 0.54로 아직 높지 않은 정확도
제한된 CWE 유형 및 데이터셋에 대한 평가
실제 현장 적용을 위한 추가적인 검증 필요
👍