CHERI의 상수 시간 정책 하에서 증명 가능한 보안을 위한 추측(Speculation) 연구 (확장 버전)

요약

본 논문은 CHERI 같은 Capability 기반 아키텍처가 추측 실행(speculative execution)에 의존하는 현대 프로세서 환경에서 보안을 유지하기 어렵다는 점을 지적합니다. 연구진은 형식적 프레임워크를 개발하여 잠재적인 정보 누출을 입증하고, 이를 해결한 새로운 프로세서 설계인 SCHERI를 제시했습니다.

핵심 포인트

• Capability 기반 아키텍처는 격리에 강하지만 추측 실행에 취약함.
• 기존 방식으로는 기밀성 보장이 어려우며 정보 누출 위험이 있음.
• 새로운 프로세서 설계 SCHERI가 상수 시간 정책 하의 안전한 추측을 제공함을 증명함.
• 본 연구는 Spectre 공격에 강건한 미래 Capability 기반 프로세스 구축의 토대를 마련함.