[논문 리뷰] Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti외 1명|arXiv (Cornell University)|2020. 11. 14.

Security and Verification in Computing참고 문헌 20인용 수 7

한 줄 요약

Tiny-CFA는 자원이 제한된 MCU에서 작동하는 최소 크기의 제어 흐름 확인(CFA) 기법으로, 원격 소프트웨어 실행 증명(PoX)의 형식적 검증된 증명을 유일한 하드웨어 기반으로 사용한다. 이는 기존 CFA 솔루션 대비 두 배수 정도 더 저렴한 하드웨어 비용을 달성하면서도 런타임 효율성에서 기존 코드 인스트루멘테이션 기반 CFA를 능가하며, 형식적 검증을 통해 강력한 보안 보장을 제공한다.

ABSTRACT

The design of tiny trust anchors has received significant attention over the past decade, to secure low-end MCU-s that cannot afford expensive security mechanisms. In particular, hardware/software (hybrid) co-designs offer low hardware cost, while retaining similar security guarantees as (more expensive) hardware-based techniques. Hybrid trust anchors support security services, such as remote attestation, proofs of software update/erasure/reset, proofs of remote software execution, in resource-constrained MCU-s, e.g., MSP430 and AVR AtMega32. Despite these advances, detection of control-flow attacks in low-end MCU-s remains a challenge, since hardware requirements of the cheapest related architectures are often more expensive than the MCU-s themselves. In this work, we tackle this challenge by designing Tiny-CFA - a control-flow attestation (CFA) technique with a single hardware requirement - the ability to generate proofs of remote software execution (PoX). In turn, PoX can be implemented very efficiently and securely in low-end MCU-s. Consequently, our design achieves the lowest hardware overhead of any CFA architecture (i.e., two orders of magnitude cheaper), while relying on a formally verified PoX architecture as its sole hardware requirement. With respect to runtime overhead, Tiny-CFA also achieves better performance than prior CFA techniques based on code instrumentation. We implement and evaluate Tiny-CFA, analyze its security, and demonstrate its practicality using real-world publicly available applications.

연구 동기 및 목표

• 최소한의 하드웨어 오버헤드로 저성능 MCU에서 제어 흐름 공격을 탐지하는 데 도전한다.
• 기존 CFA 솔루션이 비싼 하드웨어를 요구하여 종종 MCU 자체의 비용을 초과한다는 한계를 극복한다.
• MSP430 및 AVR AtMega32와 같은 초저비용 플랫폼에서도 효율적으로 작동하는 CFA 시스템을 설계한다.
• 기본적인 실행 증명(PoX) 기반의 형식적 검증을 통해 강력한 보안 보장을 확보한다.
• 기존 코드 인스트루멘테이션 기반 CFA 기법 대비 런타임 오버헤드를 최소화한다.

제안 방법

• 원격 소프트웨어 실행 증명(PoX)이라는 유일한 형식적 검증된 하드웨어 기반을 활용하며, 이는 저성능 MCU에서 효율적으로 구현 가능하다.
• PoX 위에 제어 흐름 확인을 구축함으로써 추가 하드웨어 확장 또는 복잡한 인스트루멘테이션의 필요성을 제거한다.
• 최소한의 신뢰할 수 있는 실행 환경을 사용해 원격으로 PoX 증명을 생성하고 검증한다.
• PoX를 MCU의 기존 보안 실행 경로에 통합하여 런타임 및 메모리 오버헤드를 감소시킨다.
• 기호 실행과 정리 증명을 사용해 PoX 구성 요소를 형식적으로 검증하여 정확성과 보안성을 보장한다.
• CFA 프로토콜을 경량화하여 통신 및 계산 오버헤드를 최소화한 채 원격으로 제어 흐름 무결성을 검증할 수 있도록 설계한다.

실험 결과

연구 질문

• RQ1 초저비용 MCU에서 유일한 최소 하드웨어 기반으로 제어 흐름 확인을 달성할 수 있는가?
• RQ2 Tiny-CFA의 하드웨어 비용은 기존 CFA 솔루션 대비 면적과 전력 소비 측면에서 어떻게 비교되는가?
• RQ3 Tiny-CFA의 런타임 성능 오버헤드는 코드 인스트루멘테이션 기반 CFA 기법 대비 어떻게 되는가?
• RQ4 PoX 기반의 형식적 검증이 전체 CFA 시스템의 보안 보장 수준을 얼마나 향상시키는가?
• RQ5 Tiny-CFA는 실제 저성능 MCU에서 실행되는 애플리케이션에 실질적으로 구현 가능한가?

주요 결과

• Tiny-CFA는 알려진 모든 CFA 아키텍처 중에서 가장 낮은 하드웨어 비용을 달성하여 이전 연구 대비 두 배수 정도 오버헤드를 감소시켰다.
• Tiny-CFA의 런타임 오버헤드는 코드 인스트루멘테이션 기반 CFA 기법보다 낮아 실질적으로 더 효율적이다.
• 형식적 검증된 PoX 기반은 위조 및 증명 조작을 방지하는 강력한 보안 보장을 제공한다.
• Tiny-CFA는 MSP430 및 AVR AtMega32 MCU에서 실제 애플리케이션에 성공적으로 구현되고 평가되었다.
• 설계는 기존 저성능 플랫폼에 맞추어 실용적이며, 특수 또는 고비용 하드웨어 확장 없이도 구현 가능하다.
• 8비트 MCU의 엄격한 자원 제약 조건 내에서도 강력한 보안 특성을 유지한다.