Vercel, Linux 커널 제로데이 발견한 해커 챌린지서 24만 2,000달러 지급

Vercel은 8월 Vercel Sandbox를 대상으로 100만 달러 해커 챌린지를 시작했으며, 사이버 보안 업체 Trail of Bits와 협력해 소스 코드와 보안 아키텍처를 검토했다. 2주 동안 연구원들은 1,285건의 보고를 제출했으며, 총 24만 2,000달러의 현상금이 지급됐다. 이번 프로그램에서 Linux 커널 제로데이 취약점 하나가 발견됐으나, 고객 데이터에 대한 무단 접근을 입증한 보고는 없었다.

Linux 커널 제로데이

가장 심각한 발견은 연구원 **Paulos Yibelo (pwn.ai)**가 3일차에 발견한 Linux 커널 네트워킹 스택 결함이다. 연구원은 microVM 내부에서 특수 제작된 패킷을 보내 세 가지 공격을 시연했다.

• 호스트 메모리 유출: 호스트 머신의 메모리가 인터넷으로 전송되는 패킷에 포함됐다.
• 호스트 크래시: 특정 두 개의 패킷을 전송하면 머신 내 모든 샌드박스가 다운됐다.
• 코드 실행: 이 결함으로 호스트에서 관리자 권한으로 명령을 실행할 수 있었다.

메모리 유출은 Vercel 프로덕션 샌드박스에서 시연됐지만, 크래시와 코드 실행 공격은 Vercel 설정과 동일한 연구원 자신의 KVM 및 Firecracker 머신에서 검증됐다. Vercel은 AWS 및 커널 유지보수자들과 협력해 문제를 완화했으며, 수정 사항은 현재 비공개 검토 중이다.

내부 및 화이트박스 발견

공개 현상금 외에도 Vercel은 내부 평가를 수행하고 Trail of Bits와 4주간의 화이트박스 심층 분석을 진행했다. Trail of Bits는 20건의 발견 사항을 전달했으며, 각 샌드박스가 전용 게스트 커널을 갖춘 자체 Firecracker microVM에서 실행되므로 가상화 경계가 견고하다고 확인했다. Vercel이 구현한 세 가지 구조적 권장 사항은 다음과 같다.

• 게스트 신뢰 제거: microVM 내부 소프트웨어가 반환하는 값을 서버 측에서 파생하거나 서명하도록 변경했다.
• 정책 결정 중앙화: 아웃바운드 정책 적용 시 하나의 정규화 루틴과 하나의 컴포넌트만 사용하도록 통합했다.
• 다음 제로데이 대비: 중첩 가상화를 비활성화하고 Firecracker의 jailer를 사용해 권한을 제한함으로써 보호 장치를 강화했다.

Vercel 인턴 Marcos Hernanez의 주목할 만한 내부 발견은 Linux device-mapper 스토리지 계층의 크로스 테넌트 데이터 유출이다. 이 결함으로 샌드박스가 이전에 삭제된 인스턴스의 재사용된 디스크 블록을 읽을 수 있었다.

크로스 테넌트 디스크 스냅샷 복원

1일차에 제출된 공개 보고서는 스냅샷 제어 평면의 신뢰 경계 위반을 지적했다. 제어 평면은 게스트 내부에서 실행되는 소프트웨어가 제공하는 스냅샷 메타데이터({storage_url, size, checksum})를 신뢰했다. 연구원은 스냅샷 응답을 가로채고 재작성하여 본인이 소유한 두 계정 간 스토리지 객체를 교체했으며, 이를 통해 한 계정이 다른 계정의 파일을 읽고 수정할 수 있었다.

이 공격은 API를 통해 노출되지 않는 무작위 96비트 식별자인 피해자의 내부 스냅샷 스토리지 키를 알아야 가능했으므로, 타인이 다른 테넌트를 공격할 경로는 존재하지 않았다. 그러나 Vercel은 이를 우선순위 수정 사항으로 처리했다. 이제 제어 평면은 모든 스냅샷 객체를 생성 프로젝트에 바인딩하며, 스냅샷 생성을 엄격하게 검증된 URL을 사용하는 호스트 측 서비스로 이동했다.