[논문 리뷰] On Decoding Schemes for the MDPC-McEliece Cryptosystem

Hannes Bartz, Gianluigi Liva|arXiv (Cornell University)|2018. 01. 17.

Coding theory and cryptography참고 문헌 21인용 수 11

한 줄 요약

이 논문은 MDPC-McEliece 양자후보 암호시스템에서 사용되는 준주기적 중간밀도부호검사(Quasi-cyclic Moderate-Density Parity-Check, QC-MDPC) 부호를 위한 새로운 메시지 전달 디코딩 기법—REMP-1 및 REMP-2—을 제안한다. 신뢰도 기반 전파를 구조적 삭제 패턴과 파rameter 최적화로 수정함으로써, 오류 수정 성능을 향상시키고 GJS 반응 기반 키 복구 공격에 저항할 수 있으며, 시뮬레이션과 밀도 진동 분석을 통해 그 저항성과 임계값 향상이 확인된다.

ABSTRACT

Recently, it has been shown how McEliece public-key cryptosystems based on moderate-density parity-check (MDPC) codes allow for very compact keys compared to variants based on other code families. In this paper, classical (iterative) decoding schemes for MPDC codes are considered. The algorithms are analyzed with respect to their error-correction capability as well as their resilience against a recently proposed reaction-based key-recovery attack on a variant of the MDPC-McEliece cryptosystem by Guo, Johansson and Stankovski (GJS). New message-passing decoding algorithms are presented and analyzed. Two proposed decoding algorithms have an improved error-correction performance compared to existing hard-decision decoding schemes and are resilient against the GJS reaction-based attack for an appropriate choice of the algorithm's parameters. Finally, a modified belief propagation decoding algorithm that is resilient against the GJS reaction-based attack is presented.

연구 동기 및 목표

• MDPC 부호에 대한 기존의 반복적 디코딩 기법이 GJS 반응 기반 키 복구 공격에 얼마나 저항 가능한지 분석한다.
• 보안을 훼손하지 않으면서 QC-MDPC 부호의 하드 디시전 디코딩 기법의 오류 수정 능력을 향상시킨다.
• 사이드 채널 분석으로부터 비밀 부호검사 행렬의 구조를 숨길 수 있는 새로운 메시지 전달 디코딩 알고리즘을 설계한다.
• 밀도 진동 분석과 몬테카를로 시뮬레이션을 통해 제안된 디코딩 기법을 검증한다.
• 수정된 신뢰도 기반 전파 및 REMP 변종이 높은 성능과 GJS 공격에 대한 저항성을 동시에 달성할 수 있는지 보여준다.

제안 방법

• 변수 노드의 차수에 기반한 제어된 삭제를 도입하여 표준 신뢰도 기반 전파를 수정한 두 가지 새로운 하드 디시전 메시지 전달 디코딩 알고리즘인 REMP-1 및 REMP-2를 제안한다.
• 밀도 진동(DE)을 사용하여 디코딩 임계값을 분석적으로 예측하고, $p^{\text{max}}$, $p_{\text{dec}}$, 및 $\omega$와 같은 파rameter를 최적화한다.
• 거리 프로파일 $D(\bm{h}_0)$를 은폐하기 위해 삭제 확률을 무작위화한 마스킹된 신뢰도 기반 전파(MBP) 변종을 도입한다.
• 각 승수에 대해 최대 200회의 디코딩 실패를 포함한 몬테카를로 시뮬레이션을 수행하여 GJS 공격 모델 하에서 FER를 평가한다.
• 다양한 승수 간에 디코딩 실패 비율이 균일하도록 파rameter 튜닝을 적용하여 비밀 키의 재구성 방지한다.
• 이론적 임계값을 이진 대칭 채널에서 다양한 오류 무게를 가진 FER 시뮬레이션을 통해 검증한다.

실험 결과

연구 질문

• RQ1 MDPC 부호에 대한 기존 하드 디시전 디코딩 기법은 GJS 반응 기반 키 복구 공격에 저항할 수 있는가?
• RQ2 메시지 전달 알고리즘에 구조적 삭제 패턴을 도입함으로써 MDPC 디코딩의 오류 수정 성능을 얼마나 향상시킬 수 있는가?
• RQ3 제안된 REMP 디코딩 기법은 다양한 오류 승수에서 균일한 디코딩 실패 비율을 유지하는가? 이는 비밀 키의 구조를 은폐하는 데 기여하는가?
• RQ4 마스킹된 신뢰도 기반 전파(MBP)는 전체 신뢰도 기반 전파보다 낮은 복잡도로 GJS 공격에 비슷한 저항성을 달성할 수 있는가?
• RQ5 파라미터 선택, 예를 들어 $p^\ast$, $p_{\text{dec}}$, 및 $\omega$는 디코딩 임계값과 사이드 채널 분석에 대한 저항성에 어떤 영향을 미치는가?

주요 결과

• REMP-1 및 REMP-2 디코딩 기법은 원래의 알고리즘 E보다 높은 디코딩 임계값을 달성하며, 80비트 보안 수준에선 최대 108(13)의 향상, 128비트에선 157(14), 256비트에선 301(23)의 향상을 보였다.
• 제안된 REMP 변종은 $D(\bm{h}_0)$의 모든 승수에서 거의 균일한 프레임 오류율(FER)을 유지하여, GJS 공격 하에서 비밀 키의 재구성 가능성을 차단한다.
• 몬테카를로 시뮬레이션 결과, REMP-1 및 REMP-2 모두 모든 승수에서 유사한 FER를 나타내어 거리 프로파일이 효과적으로 은폐되었음을 확인했다.
• MBP 디코더는 복잡도가 더 높지만, 적절한 파라미터 설정을 통해 비밀 키의 구조를 은폐할 수 있었으며, $e=106$일 때 REMP-2와 동일한 FER를 기록했다.
• 밀도 진동 분석 결과, REMP-1 및 REMP-2는 디코딩 임계값을 떨어뜨리지 않으며, 최적의 파라미터 설정에서는 오히려 향상될 수 있음을 보여주었다.
• 시뮬레이션 결과, REMP 기법은 비최적의 삭제 설정 하에서도 BF 및 MF 디코딩에 비해 오류 수정 성능에서 뚜렷한 우수성을 보였다.