CEGAR-T, RTL 사이드채널 검증 taint 오버헤드 절감

프린스턴대, MIT CSAIL, EPFL 연구진이 RTL 시뮬레이션 단계에서 기밀성·무결성 등 보안 속성을 테스트하기 위한 taint 로직 자동 삽입 기법을 다룬 논문을 공개했다. 기존 CellIFT 방식은 정밀하지만 셀 수와 시뮬레이션 시간을 크게 늘려 실용성이 떨어지는데, 논문은 오탐 없이 오버헤드를 줄이는 프레임워크 CEGAR-T를 제시한다. 연구진은 오픈소스 RISC-V 코어들의 타이밍 사이드채널 보안 문제에 CEGAR-T를 적용해 계측·시뮬레이션 오버헤드를 CellIFT 대비 크게 낮췄다고 밝혔다. 논문은 2026년 9월 arXiv에 게재됐다.
이 글에 나온 것
이 글은 원문을 요약한 큐레이션입니다. 제목은 요약에 맞춰 새로 붙였습니다. 수치와 단위는 원문 표기를 유지했습니다. 전체 내용은 원 매체에서 읽어 주세요.원문: Semiconductor Engineering 「HW Information-Flow Tracking for Pre-Silicon Security Testing (Princeton, MIT, EPFL)」
Semiconductor Engineering 원문 보기 ↗
