신뢰 실행 환경(TEE)은 하드웨어 지원 격리를 제공하지만 그 자체로는 정보 흐름 보안을 강제하지 못한다. 포인터 조작이 자유롭고 제어 흐름이 비구조적인 LLVM류 저수준 언어에서 이 문제는 더 심각하며, TEE를 효과적으로 쓰려면 애플리케이션을 엔클레이브·비엔클레이브로 수동 분할해야 해 노동집약적이고 오류가 발생하기 쉽다. 연구진은 세 단계로 이 문제에 접근했다. 먼저 저수준 공격자에 대한 보안을 강제하는 허용적 타입 시스템을 갖춘 엔클레이브 무관 계산체계 SIR을 정형화했다. 이어 임의의 비엔클레이브 메모리를 관찰하는 더 강한 공격자에 대해 비간섭성을 강제하는 엔클레이브 인식 계산체계 SIREN으로 확장했다. 마지막으로 SIR에서 SIREN으로의 타입 주도·타입 보존 컴파일을 개발해 수동 분할 없이 안전한 프로그램을 자동 생성하는 SPLITR를 구현했다. Intel SGX 하드웨어에서 13개 마이크로벤치마크와 실세계 워크로드로 평가한 결과 42만5,953개 LLVM IR 명령어 규모의 OpenSSL까지 확장 가능했으며, 전환 최적화 시 호스트-엔클레이브 전환 횟수를 393회에서 187회로 줄였다.
- •TEE 애플리케이션의 엔클레이브·비엔클레이브 수동 분할 문제를 해결하는 자동 컴파일 도구 SPLITR 제안
- •엔클레이브 무관 계산체계 SIR과 엔클레이브 인식 계산체계 SIREN을 순차적으로 정형화
- •타입 주도·타입 보존 컴파일로 SIR에서 SIREN으로 자동 변환, 세밀한 호스트-엔클레이브 경계 제어 제공
- •Intel SGX 하드웨어에서 13개 마이크로벤치마크와 실세계 워크로드로 평가, OpenSSL까지 확장 가능
- •OpenSSL에서 전환 최적화로 호스트-엔클레이브 전환 횟수를 393회에서 187회로 감소
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
- 1.TEE만으로는 정보흐름 보안 보장 불가, LLVM류 자유로운 포인터 조작이 문제 심화
- 2.허용형 타입시스템 SIR로 저수준 공격자 대상 보안 형식화(정보흐름제어+메모리안전 결합)
- 3.SIR 확장판 SIREN으로 임의 비-엔클레이브 메모리 관찰 가능한 강한 공격자에도 비간섭성 보장
- 4.SPLITR로 타입보존 컴파일 자동화, OpenSSL에서 호스트-엔클레이브 전환 393→187로 감소
왜 중요한가?
기존 TEE 활용은 수작업 파티셔닝이 노동집약적이고 오류에 취약했는데, 타입 기반 자동 컴파일로 이를 없애면서도 세밀한 경계 제어를 유지해 OpenSSL 같은 실제 대규모 코드베이스에서 성능 트레이드오프까지 실측했다.
본문 미리보기
arXiv:2609.02048v1 Announce Type: new Abstract: Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone cannot enforce information-flow security. This problem is further aggravated in LLVM-like low-level languages that allow unrestricted pointer manipulation and unstructured control flow. Moreover, using TEEs effectively typically requires manually partitioning applications
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
