[논문 리뷰] Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components

Amir Al Sadi, Sina Abdollahi외 3명|arXiv (Cornell University)|2026. 03. 03.

Security and Verification in Computing인용 수 0

한 줄 요약

이 논문은 상호 신뢰하지 않는 TEEs 간의 모든 통신 경로를 명시적으로 증명하고 제약함으로써 신뢰와 기밀성을 분리하는 아키텍처 확장인 Mica를 소개한다.

ABSTRACT

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed TEEs must trust one another to avoid the leakage of sensitive information they exchange -- a fragile assumption that is unrealistic for modern cloud workloads. We present Mica, a confidential computing architecture that decouples confidentiality from trust. Mica provides tenants with explicit mechanisms to define, restrict, and attest all communication paths between components, ensuring that sensitive data cannot leak through shared resources or interactions. We implement Mica on Arm CCA using existing primitives, requiring only modest changes to the trusted computing base. Our extension adds a policy language to control and attest communication paths among Realms and with the untrusted world via shared protected and unprotected memory and control transfers. Our evaluation shows that Mica supports realistic cloud pipelines with only a small increase to the trusted computing base while providing strong, attestable confidentiality guarantees.

연구 동기 및 목표

• 다중 구성요소 기밀 클라우드 워크로드에서 기밀성과 신뢰를 분리할 필요성에 대한 동기 부여.
• TEEs 간 및 신뢰되지 않는 호스트와의 모든 통신 경로를 명시적으로 정의, 제약 및 증명하는 정책 기반 메커니즘 제안.
• 공유 신뢰 소프트웨어 스택 없이 파이프라인 전체에 걸친 엔드 투 엔드 기밀성 가능하게.
• 실제 클라우드 파이프라인에서 오버헤드와 실용성을 평가하기 위해 Arm CCA에서 Mica 구현 및 평가.

제안 방법

• 보호되지 않은 메모리, 공유 보호 메모리, 알려진 은폐 채널을 관리하기 위한 정책 언어로 기밀 컴퓨팅 아키텍처 확장.
• TEEs 간의 엔드 투 엔드 기밀성 속성을 검증하기 위한 그룹 증명 체계를 도입.
• 정책의 라이프사이클 런타임을 제공하여 TEEs가 피어, 채널 및 전이를 정의하는 정책을 공급하면, 이는 실행 가능하고 수정 불가능한 상태가 된다.
• 하드웨어 변경 없이 Realm Management Monitor(RMM)와 기존 프리미티브를 통합하여 Arm CCA에 설계 특화.

Figure 1 . Prior designs for confidential pipelines. Red indicate untrusted components (boxes or communication arrows), green indicates trusted components (secure communication or TCB). The dotted lines indicate the exposed interface to the untrusted host.

실험 결과

연구 질문

• RQ1 상호 신뢰받지 않는 TEEs의 파이프라인 전체에서 모든 구성 요소를 신뢰하지 않고도 기밀성을 어떻게 보장할 수 있는가?
• RQ2 모든 TEE 간 통신 경로와 잠재적 은닉 채널을 명시적으로 정의, 증명 및 제약하기 위해 필요한 정책 메커니즘은 무엇인가?
• RQ3 Arm CCA에서 이러한 정책을 구현하는 오버헤드와 실용성은 이전 접근 방식과 비교하여 어떠한가?

주요 결과

• Mica는 신뢰된 컴퓨팅 기반에 약간의 증가로도 신뢰되지 않는 구성 요소 간 파이프라인에 대해 엔드투엔드 기밀성을 가능하게 한다.
• 정책 언어와 런타임은 TEEs 간 및 호스트와의 명시적 메모리 공유 및 제어 흐름 제약을 강제한다.
• 그룹 증명은 배포 전반의 정책을 캡처하여 전체 파이프라인에 걸친 정보 공유를 추론한다.
• Mica는 Arm CCA에서 기존 프리미티브를 사용해 구현 가능하며 하드웨어 변경은 최소화된다.
• 평가 결과 현실적인 클라우드 파이프라인이 제약된 오버헤드와 강한 증명 가능한 기밀성과 함께 지원됨을 보여준다.

Figure 2 . CCA Architecture.