[논문 리뷰] Attack on Fully Homomorphic Encryption over the Integers

Chunsheng Gu|arXiv (Cornell University)|2012. 02. 15.

Cryptography and Data Security참고 문헌 25인용 수 3

한 줄 요약

이 논문은 DGHV(2010)가 제안한 정수 위의 완전 동형 암호화(FHE) 체계에 대한 히우리스틱 격자 기반 공격을 제시하며, 특정 매개변수 설정 하에서 이 체계가 비안전함을 입증한다. 격자 감소 기법을 적용하여 비밀 키를 복원함으로써 원래 설계에 심각한 취약성을 드러내며, 이러한 공격에 저항할 수 있는 수정된 체계를 제안한다.

ABSTRACT

This paper presents a heuristic attack on the fully homomorphic encryption over the integers by using lattice reduction algorithm. Our result shows that the FHE in [DGHV10] is not secure for some parameter settings. We also present an improvement scheme to avoid the lattice attack in this paper.

연구 동기 및 목표

• DGHV(2010)가 제안한 정수 위의 완전 동형 암호화 체계의 보안을 분석하는 것.
• 암호 분석에 취약한 매개변수 설정을 특정하는 것.
• 비밀 키 구조에 대한 격자 감소 알고리즘을 이용한 실용적 공격을 개발하는 것.
• 식별된 격자 기반 공격에 저항할 수 있도록 수정된 체계를 제안하는 것.

제안 방법

• 공격은 DGHV FHE 체계의 비밀 키가 작은 홀수 정수라는 특성에 기반한다.
• 비밀 키 복원 문제를 공개 키로부터 구성된 격자에서의 가장 가까운 벡터 문제(CVP)로 모델링한다.
• 특히 LLL 및 그 변종과 같은 격자 감소 알고리즘을 적용하여 공개 매개변수로부터 비밀 키를 근사한다.
• 공격은 공개 키가 비밀 키와 작은 노이즈 항의 선형 조합이라는 사실을 이용한다.
• 다양한 매개변수 설정 하에서 공격의 타당성을 평가하여 취약한 구성 요소를 특정한다.
• 비밀 키 생성 과정을 수정하여 격자 난이도를 높이고 키 복원을 방지함으로써 보다 강력한 체계를 제안한다.

실험 결과

연구 질문

• RQ1 특정 매개변수 설정 하에서 DGHV의 정수 위 FHE 체계의 비밀 키를 격자 감소 기법으로 복원할 수 있는가?
• RQ2 DGHV 체계의 어떤 구조적 특성이 격자 기반 암호 분석에 취약하게 만드는가?
• RQ3 DGHV 체계에서 어떤 매개변수 범위가 안전하지 않은 격자 인스턴스를 초래하는가?
• RQ4 FHE 체계는 격자 공격에 저항하면서도 동형 기능을 유지할 수 있도록 어떻게 수정할 수 있는가?

주요 결과

• 공격은 특정 매개변수 설정 하에서 격자 감소를 통해 비밀 키를 성공적으로 복원하여, DGHV 체계가 이러한 조건 하에서는 안전하지 않음을 입증한다.
• 비밀 키가 작기 때문에 공개 키 행렬의 격자 기반 감소를 통해 비밀 키를 근사할 수 있기 때문에 취약성이 발생한다.
• 공격은 히우리스틱이지만 테스트한 매개변수 범위에서는 실용적으로 효과적이며, 비밀 키가 공개 키 크기 대비 작을 경우 尤히 높은 성능을 보인다.
• 논문은 원래 DGHV 체계의 비밀 키 생성 과정이 공격 가능한 구조를 가진 격자를 생성하여 키 복원을 가능하게 한다고 규명한다.
• 비밀 키 크기를 증가시키고 키 생성 과정을 수정하여 격자 공격에 저항할 수 있도록 개선된 체계를 제안한다.
• 결과적으로 정수 위의 FHE 보안은 매개변수 선택에 매우 민감하며, 단순한 선택은 전체 붕괴로 이어질 수 있음을 보여준다.