MARVEL: LLM 기반 다중 에이전트 시스템으로 하드웨어 보안 취약점 검출 혁신


LLM 기반 다중 에이전트 프레임워크 MARVEL은 하드웨어 보안 취약점 검출의 효율성을 높이는 혁신적인 방법을 제시합니다. OpenTitan 기반 SoC 테스트에서 48개 문제 중 20개가 실제 취약점으로 확인되어 그 효과성을 입증했습니다.

related iamge

AI가 하드웨어 보안 전문가를 돕는다면? MARVEL의 놀라운 가능성

하드웨어 보안 검증은 복잡하고 시간이 많이 소요되는 작업입니다. Luca Collini, Baleegh Ahmad, Joey Ah-kiow, Ramesh Karri 연구팀은 최근 발표한 논문에서, 대규모 언어 모델(LLM) 기반의 다중 에이전트 프레임워크인 MARVEL을 통해 이 문제에 대한 혁신적인 해결책을 제시했습니다.

MARVEL은 기존의 정적 분석, 시뮬레이션, 린터 등의 도구들을 하나의 통합된 시스템으로 활용하는 것이 특징입니다. 이는 마치 경험 많은 하드웨어 설계자가 RTL 코드를 검토하는 과정을 모방한 것과 같습니다. 감독 에이전트는 시스템의 보안 정책을 설정하고, 개별 실행 에이전트는 각자의 전문성을 활용하여 보안 취약점을 찾아냅니다. 각 에이전트는 정형 검증, 시뮬레이션, LLM 기반 검출 등 다양한 방법을 활용하여 보안 결함을 식별하고 감독 에이전트에게 결과를 보고합니다.

연구팀은 Hack@DATE 경진대회에서 사용된 OpenTitan 기반의 SoC를 대상으로 MARVEL을 테스트했습니다. 그 결과, MARVEL이 보고한 48개의 문제 중 20개가 실제 보안 취약점으로 확인되었습니다. 이는 MARVEL이 실제 환경에서도 효과적으로 작동하며, 하드웨어 보안 검증 과정의 효율성을 크게 향상시킬 수 있음을 보여주는 중요한 결과입니다.

MARVEL의 등장은 단순한 기술적 발전을 넘어, AI가 복잡한 하드웨어 보안 문제 해결에 어떻게 기여할 수 있는지를 보여주는 중요한 이정표가 될 것입니다. 앞으로 MARVEL은 더욱 발전하여 하드웨어 보안 분야의 혁신을 가속화할 것으로 기대됩니다.


핵심 내용 요약:

  • MARVEL: LLM 기반 다중 에이전트 프레임워크, 하드웨어 보안 취약점 검출
  • 기능: 다양한 도구와 전략 활용, 인간 설계자의 사고 과정 모방
  • 실험 결과: OpenTitan 기반 SoC 테스트, 48개 문제 중 20개가 실제 취약점으로 확인
  • 의의: 하드웨어 보안 검증 효율성 향상, AI의 보안 분야 적용 가능성 증명

*이 기사는 AI가 생성한 내용으로, 일부 정보가 실제와 다를 수 있습니다. 정확한 확인을 위해 추가적인 검증을 권장드립니다.

Reference

[arxiv] MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models

Published:  (Updated: )

Author: Luca Collini, Baleegh Ahmad, Joey Ah-kiow, Ramesh Karri

http://arxiv.org/abs/2505.11963v1