Vercel Sandbox 보안 점검 결과
Vercel Sandbox 취약점 챌린지에서 발견된 주요 보안 이슈와 개선 내용을 정리했습니다.
교안에 영향
기존에 snapshot 저장 위치나 복원 동작을 guest 응답에 기대해 설명한 안내는 맞지 않으며, snapshot object는 project에 묶여 검증됩니다.
요약
- 2주 동안 1,285건의 보고를 받았고, 57건의 유효 제보와 1건의 Critical 취약점이 확인됐습니다. - Linux kernel의 제로데이 결함으로 호스트 메모리 유출, 호스트 충돌, 호스트 코드 실행 가능성이 드러났습니다. - internal 평가와 Trail of Bits 검토에서 교차 테넌트 데이터 유출과 snapshot 복원 문제도 확인됐습니다. - 신뢰 경계 재설계, 정책 단일화, 게스트 신뢰 제거, 보호 강화가 반영됐습니다.
바뀐 것
개선
- 모든 snapshot object를 생성한 project에 바인딩하고, 다른 값은 거부하도록 바꿨습니다.
- snapshot creation을 guest-reachable environment에서 host-side service로 옮겼습니다.
- storage paths를 project-scoped로 만들고 URL 검증을 강화했습니다.
- guest에 대한 신뢰를 없애고, 정책 판정은 단일 경로로 처리하도록 정리했습니다.
- host kernel을 최신 상태로 유지하고 nested virtualization을 비활성화했으며 Firecracker’s jailer로 각 microVM 프로세스의 권한을 제한했습니다.
기타
- $1M hacker challenge를 통해 Vercel Sandbox에 대한 보안 점검을 진행했습니다.
- Trail of Bits와 함께 소스 코드와 보안 아키텍처를 검토했습니다.
수정
- Linux kernel의 제로데이 결함으로 인한 호스트 메모리 유출 가능성을 확인했습니다.
- 특정 패킷으로 호스트 머신을 충돌시키거나 호스트에서 코드를 실행할 수 있는 문제를 확인했습니다.
- Linux device-mapper storage layer에서 교차 테넌트 데이터 유출 취약점을 발견했습니다.
- snapshot 복원 과정에서 guest가 반환한 값을 host가 신뢰하던 문제를 수정했습니다.