Gerrymandering the Warp: Non-Control-Data Attacks on CUDA Collective Decision

기술 요약: 워프의 게리맨더링: CUDA 집합적 결정에 대한 비제어 데이터 공격

문제 정의

본 논문은 CUDA 애플리케이션에서 **집합적 의미론적 부패(Collective Semantic Corruption, CSC)**라고 명명된 새로운 클래스의 보안 취약점을 식별한다. 전통적인 비제어 데이터(non-control-data, NCD) 공격이 제어 흐름을 변경하지 않고 정체성이나 정책 플래그와 같은 값을 오염시켜 보안 로직을 저해하는 반면, CSC는 CUDA 집합 연산(collective operations) 내의 **참여 메타데이터(participation metadata)**를 표적으로 삼는다.

CUDA에서 집합적 결정(예: 투표, 리덕션, 셔플, 배리어)은 종종 배치 수락, 증거 집계, 대표자 선정과 같은 중요한 보안 경로에 위치한다. 이러한 결정은 계산된 값뿐만 아니라 누가 참여하는지, 무엇을 기여하는지, 어느 레인이 그룹을 대표하는지, 그리고 어떤 검증된 상태가 커밋되는지에 의해서도 결정된다. 본 논문은 CUDA의 동기화 마스크(하드웨어 정의 동작을 위해 실행을 규정함)가 애플리케이션의 의미론적 권한 집합(semantic authority set)(어떤 주체가 결정을 대표하는지를 규정함)과 구별된다고 주장한다.

공격자는 참여 메타데이터(마스크, 술어, 소스 레인, 디스크립터, 그룹 레이블 또는 에포크)를 오염시켜 다음과 같은 결과를 초래할 수 있다:

1. 의도된 CUDA 프리미티브가 예상된 프로그램 지점에서 실행된다.
2. CUDA 호출 규약(call discipline)이 준수된다 (모든 필수 레인이 실행됨).
3. 그러나 집합 연산은 잘못된 멤버십, 기여, 역할 또는 검증-사용 상태에 대해 결정을 승인한다 (예: 거부하는 레인이 의미론적 참여 집합에서 제외됨으로써 배치를 수락함).

이는 프로그램이 유효한 CUDA 실행을 생성하지만, 승인되지 않은 보안 결정을 내리는 "침묵하는 무결성 실패(silent integrity failure)"를 야기한다.

방법론

참여-권한 계약 (The Participation-Authority Contract)

저자들은 **사이트 국소적 참여-권한 계약(site-local participation-authority contract)**을 사용하여 CSC를 모델링한다. 모든 보안 관련 집합 사이트(site)에 대해, 이 계약은 승인 전에 파생, 확인, 재계산 또는 동결되어야 하는 네 가지 신뢰할 수 있는 차원을 정의한다:

1. 멤버십 ($I_\ell$): 어떤 레인들이 대표되는가 (예: lane < n, 검증된 행 도메인).
2. 기여 ($P_\ell$): 해당 레인들이 무엇을 기여하는가 (예: 재계산된 유효성 검사).
3. 역할 ($R_\ell$): 어떤 레인이 그룹을 위해 발언하거나 커밋하는가 (예: 고정된 캐노니컬 리더 규칙, 고정된 셔플 너비).
4. 시간적 결속 ($\Phi_\ell$): 집합 이전에 체크된 상태가 사용 사이트까지 유지되는가 (예: 동결된 디스크립터, 에포크).

CSC 인스턴스는 관측된 메타데이터($O_\ell$)가 신뢰할 수 있는 계약($C_\ell$)으로부터 벗어나, CUDA 호출은 적법하게 유지되면서도 보안 관찰 결과($SecObs$)를 변화시킬 때 발생한다.

공격 채널

본 논문은 참여 메타데이터가 오염될 수 있는 세 가지 채널을 식별한다:

• 적대적 메타데이터: 커널이 권한으로 잘못 취급하는, 구문적으로는 유효한 디스크립터, 카운트 또는 레이블을 포함한 호스트 요청.
• 오래된/논리적 상태: 메타데이터가 한 단계에서는 검증되었으나 이후의 집합 연산에서 변경된 상태로 다시 로드되는 시나리오(Time-of-Check to Time-of-Use 드리프트).
• 메모리 오염 트리거: 집합 연산이 소비하기 전의 디바이스 측 메모리 버그(오버플로, 객체 내부 덮어쓰기 등).

평가 전략

저자들은 NVIDIA CUDA 프리미티브 전반에 걸쳐 CSC를 평가하기 위해 **계약 준수 스위트(contract-conformance suite)**를 구축하였다.

• 핵심 스위트: 네 가지 권한 차원(멤버십, 기여, 역할, 시간적 결속)을 다루는 102개의 인스턴스.
• 동기화 민감형: 별도로 보고된 13개의 추가 인스턴스.
• 강화(Hardening): 참여 메타데이터를 사용 전 신뢰할 수 있는 계약에 바인딩하는 래퍼 규율인 집합 무결성 계약(Collective Integrity Contracts, CIC) 구현.
• 검증: 퍼저(fuzzer), 서비스 하네스 및 부정 대조군(negative controls)을 사용하여 취약한 실행, 강화된 실행 및 신뢰할 수 있는 참조(trusted references)를 비교한다.

주요 기여

1. 참여 권한의 식별: 본 논문은 CUDA 참여 메타데이터가 결정론적 비제어 데이터의 별도 범주임을 확립한다. 저자들은 집합 연산이 CUDA 규약을 준수하면서도 의도치 않은 주체 집합을 대표할 수 있음을 입증한다.
2. 공식 계약 모델: "범위 유효(range-valid)" 메타데이터와 "권한 유효(authority-valid)" 메타데이터를 구분하는 공식 모델을 도입한다. 이 모델은 멤버십, 기여, 역할 및 시간적 결속을 위한 신뢰할 수 있는 출처를 정의한다.
3. CSC의 실증적 증거: 102개의 핵심 인스턴스를 통해, 저자들은 오염된 참여 메타데이터가 CUDA 호출 규약은 유지하면서도 신뢰할 수 있는 참조와의 불일치를 유발함을 보여준다. 반대로, CIC를 사용하는 강화된 변형은 102/102 케이스에서 신뢰할 수 있는 참조를 보존한다.
4. 집합 무결성 계약 (CIC): 저자들은 CIC를 방어 메커니즘으로 제안한다. CIC 래퍼는 집합 사용 전에 참여 메타데이터를 파생, 확인, 재계산 또는 동결하여, 결정이 의도된 계약에 의해서만 승인되도록 보장한다.

결과

• 핵심 결과: 102개의 핵심 CUDA 인스턴스에서, 오염된 참여 메타데이터는 CUDA 호출 규약을 유지하면서도 지속적으로 신뢰할 수 있는 참조와의 불일치(예: 잘못된 수락, 잘못된 대표자 선택)를 일으켰다. CIC를 적용한 강화된 변형은 이러한 불일치를 성공적으로 방지했다.
• 트리거 채널: 연구를 통해 세 가지 공격 채널(적대적 메타데이터, 오래된 상태, 메모리 오염) 모두 동일한 권한 객체에 도달하여 동일한 보안 실패를 생성할 수 있음을 확인했다.
• 서비스 영향: 검색/입력 가드(retrieval/admission guard) 시나리오에서, 취약한 코드는 (잘못된 레인을 포함한 마스크로 인해) 16개 중 12개의 잘못된 요청을 수락했다. CIC를 사용했을 때, 16개 중 0개의 잘못된 요청이 수락되었으며 모든 불일치가 탐지되었다.
• 도구의 한限界: Compute Sanitizer, 범위 체크, 제어 흐름 무결성(CFI)과 같은 표준 도구들은 이러한 문제를 감지하지 못했는데, 이는 실행이 구문적으로 유효하고 메모리 오류나 레이스 컨디션이 없었기 때문이다. 실패는 순수하게 누가 참여하는지에 관한 의미론적 문제였다.
• 퍼징: 퍼저는 각 차원당 65,536개의 상태를 생성하여 계약 모델이 견고함을 확인했다. 강화된 변형에서 위음성(false negatives)은 발견되지 않았다.

의의 및 주장

본 논문은 CUDA 집합 결정의 보안이 계산된 값과 더불어 그들이 대표하는 참여자 모두에 달려 있다고 주장한다. 저자들은 현재의 GPU 보안 메커니즘(메모리 안전성, 코드 주입 방어)이 오염의 원인은 다루지만, 오염된 메타데이터가 권한으로 취급될 때 발생하는 결과는 해결하지 못한다고 주장한다.

저자들은 CSC를 CUDA 애플리케이션이 참여 메타데이터를 해석하는 방식에서 발생하는 프로그램 수준의 실패로 규정한다. 이 연구의 의의는 다음과 같다:

• 공격 표면의 재정의: 참여 권한 집합이 게리맨더링될 경우 "유효한" CUDA 호출이 여전히 불안전할 수 있음을 강조한다.
• 방어 메커니즘: 참여 메타데이터를 신뢰할 수 있는 계약에 바인딩함으로써 식별된 공격 표면을 효과적으로 완화하는 구체적이고 구현 가능한 규율인 CIC를 제공한다.
• 범위 제한: 본 논문은 정의된 동작 범위 내의 이 특정 실패 모드를 모델링하는 데 집중한다. 모든 GPU 보안 문제를 해결하거나 모든 CUDA 집합이 취약하다고 주장하는 것이 아니라, 보안 결정에 사용되는 모든 집합은 참여 메타데이터가 신뢰할 수 있는 계약에 바인딩되지 않을 경우 취약하다는 점을 지적한다.

결론적으로, 참여 메타데이터를 독립적으로 파생된 계약에 바인딩하지 않는 한, CUDA 집합 결정은 잘못된 권한 집합이 승인되는 침묵하는 무결성 실패에 취약한 상태로 남게 된다.