[논문 리뷰] SoK: Design Tools for Side-Channel-Aware Implementations

Ileana Buhan, Lejla Batina외 2명|arXiv (Cornell University)|2021. 04. 17.

Security and Verification in Computing참고 문헌 71인용 수 4

한 줄 요약

이 논문은 암호화 구현에서 사이드 채널 누출을 탐지하기 위한 자동화된 도구에 대한 체계적 설문 조사와 분류 체계를 제시한다. 도구는 모델의 근원(장치 측정치 대비 설계 사양)과 추상화 수준에 따라 분류되며, 시뮬레이션 정밀도 부족, 표준화된 메트릭 부족, 복잡한 아키텍처 및 전자기(EM) 사이드 채널에 대한 지원 부족 등의 핵심 과제를 밝혀내며, 통합된 벤치마크와 하드웨어 개발의 초기 단계에서의 설계 시점 분석을 통해 보안성과 효율성을 향상시키기 위한 권고를 제시한다.

ABSTRACT

Side-channel attacks that leak sensitive information through a computing device's interaction with its physical environment have proven to be a severe threat to devices' security, particularly when adversaries have unfettered physical access to the device. Traditional approaches for leakage detection measure the physical properties of the device. Hence, they cannot be used during the design process and fail to provide root cause analysis. An alternative approach that is gaining traction is to automate leakage detection by modeling the device. The demand to understand the scope, benefits, and limitations of the proposed tools intensifies with the increase in the number of proposals. In this SoK, we classify approaches to automated leakage detection based on the model's source of truth. We classify the existing tools on two main parameters: whether the model includes measurements from a concrete device and the abstraction level of the device specification used for constructing the model. We survey the proposed tools to determine the current knowledge level across the domain and identify open problems. In particular, we highlight the absence of evaluation methodologies and metrics that would compare proposals' effectiveness from across the domain. We believe that our results help practitioners who want to use automated leakage detection and researchers interested in advancing the knowledge and improving automated leakage detection.

연구 동기 및 목표

• 암호화 하드웨어 구현에서 사이드 채널 누출을 탐지하기 위한 자동화된 도구에 대한 종합적인 설문 조사를 제공하기.
• 도구의 모델 근원(물리적 측정치 또는 설계 사양)과 장치 모델의 추상화 수준에 따라 기존 도구를 분류하기.
• 설계 라이프사이클 전반에서 시뮬레이션 정밀도, 평가 메트릭, 도구 상호운용성 측면에서의 열린 문제를 특정하기.
• 도메인 전반에서 도구의 효과성을 비교하기 위한 표준화된 벤치마크와 메트릭의 부재를 부각하기.
• 비용 절감과 보안 보증 향상을 위해 사전 실리콘 단계에서의 누출 탐지를 권장하기.

제안 방법

• 저자는 도구를 두 가지 축에 따라 분류한다: 모델이 물리적 측정치(사후 실리콘)에서 유래되었는지 여부와 장치 모델의 추상화 수준이다.
• 도구의 파이pline 정지, 캐시 미스, 명령어 수준의 전력 변동과 같은 마이크로아키텍처적 기능을 모델링할 수 있는 능력에 기반해 도구를 분석한다.
• EM 시뮬레이션의 가능성 평가를 수행하여, EM 시뮬레이터가 물리적 장치 측정치가 필요하며 현재는 주로 오픈소스 하드웨어에 국한되어 있음을 결론내린다.
• 사전 실리콘 시뮬레이터의 조합 가능성에 대해 검토하고, 비누출 설계 요소를 제거하여 시뮬레이션 속도를 향상시키는 데 있어 도전 과제를 밝혀낸다.
• 특히 오픈소스가 아닌 도구들 간의 공정한 비교를 가능하게 하기 위해 공개된 대표성 있는 데이터셋이 필요하다고 제안한다.
• 분류 체계는 70개 이상의 도구와 사례 연구를 바탕으로 하며, 대칭 및 비대칭 암호화 구현에 중점을 둔다.

실험 결과

연구 질문

• RQ1 기존 자동화된 사이드 채널 누출 탐지 도구는 모델 근원(측정치 대비 설계 사양)과 추상화 수준에서 어떻게 다를까?
• RQ2 사후 실리콘 시뮬레이터에서 파이프라인 정지 및 캐시 미스와 같은 복잡한 마이크로아키텍처적 기능을 모델링하는 데 있어 핵심적인 제약은 무엇인가?
• RQ3 왜 전자기(EM) 시뮬레이션이 특히 도전적인가? 그리고 그 개발을 제한하는 요건은 무엇인가?
• RQ4 현재 마이크로아키텍처 수준에서 사이드 채널 누출을 정량화하기 위해 사용 가능한 메트릭은 무엇이며, 표준화가 부족한 이유는 무엇인가?
• RQ5 공개 벤치마크나 오픈소스 구현이 없는 상황에서 도구 평가와 비교를 어떻게 향상시킬 수 있는가?

주요 결과

• 사전 실리콘 시뮬레이터는 제조 이전에 설계 수정이 가능한 초기 단계에서 누출을 탐지할 수 있어 비용 절감에 기여한다.
• 사후 실리콘 시뮬레이터는 설계 정보가 확보되지 않은 경우 사용이 제한되며, 물리적 측정치에 크게 의존한다.
• 마이크로아키텍처적 사이드 채널 누출을 정량화하기 위한 널리 인정된 메트릭이 없어 도구 간 비교가 어렵다.
• EM 시뮬레이션은 여전히 주요 과제로 남아 있으며, 물리적 장치 측정치가 필요하고 단순한 오픈소스 프로세서에 국한된 유일한 알려진 도구(EMSIM)만 존재한다.
• 비대칭 암호화 구현을 위한 공개 벤치마크와 사례 연구가 부족하여 현재 도구 생태계에서 미흡하게 다뤄지고 있다.
• 사전 실리콘 시뮬레이터의 조합 가능성은 비누출 설계 요소를 제외할 수 있는 재사용 가능하고 모듈화된 구성 요소의 부재로 인해 제한되어 있다.