0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
CITADEL: CWE-Guided Insertion of Hardware Trojans via Analysis of DFG-Enabled LLMs
- 1.LLM과 데이터흐름그래프(DFG)로 CWE 기반 하드웨어 트로이목마(HT)를 자동 생성하는 프레임워크 CITADEL 제시
- 2.CWE 구조화 시맨틱과 DFG 구조 컨텍스트로 취약점 식별·삽입 위치 특정·의도 조건부 RTL 수정을 지원
- 3.다양한 RTL 설계에서 생성된 HT 100% 문법적으로 정확, 대규모 랜덤 시뮬레이션에서 탐지되지 않음
- 4.의도된 활성화 조건에서 기능적으로 정확히 트리거됨을 실험으로 확인
왜 중요한가?
하드웨어 트로이목마 벤치마크 제작이 전문가의 수작업 RTL 분석에 의존해 확장성이 낮았는데, 이를 LLM으로 자동화하면서도 은닉성과 기능 정확성을 모두 만족하는 결과를 보여 HT 탐지 연구용 벤치마크 생성을 크게 가속할 수 있다.
언급 프로젝트
본문 미리보기
arXiv:2610.02544v1 Announce Type: new Abstract: The increasing sophistication of Hardware Trojans (HTs) and system-level vulnerabilities poses significant risks to modern integrated circuits. However, constructing realistic HT scenarios, remains a substantial burden: researchers must manually analyze complex RTL structures, identify plausible weaknesses, and craft stealthy, synthesizable insertions that preserve functional correctness. This paper introduces CITADEL CWE-Guided Insertion of Troja
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안

