[논문 리뷰] Differential Fault Analysis on A.E.S

Pierre Dusart, Gilles Letourneux외 1명|ArXiv.org|2003. 01. 21.

Radiation Effects in Electronics인용 수 3

한 줄 요약

이 논문은 고급 암호 표준(AES)에 대한 미분 고장 분석(DFA) 공격을 제시하며, 최종 라운드 동안 단일 바이트 고장을 주입하여 전체 암호화 키를 복원한다. 미분 컬럼스와 서브바이트 변환에 대한 고장의 영향을 분석함으로써, 공격은 가능한 고장 값의 교차를 통해 마지막 라운드 키를 복원하고, 키 스케줄 뒤집기 방법을 사용하여 전체 키를 재구성한다. 실제로 50개 미만의 고장 난 암호문을 사용하여 AES-128 키를 성공적으로 복원한다.

ABSTRACT

We explain how a differential fault analysis (DFA) works on AES 128, 192 or 256 bits.

연구 동기 및 목표

• 암호화 중에 물리적 고장을 주입할 경우 AES가 미분 고장 분석(DFA)에 취약함을 입증하기 위해.
• 최종 라운드에서 발생하는 단일 바이트 고장의 미분적 영향을 분석하여 전체 AES 키를 복원하는 방법을 개발하기 위해.
• 마지막 라운드 계산 중 고장을 주입함으로써 고장 값의 교차와 키 스케줄 뒤집기를 통해 효율적인 키 복원이 가능함을 보여주기 위해.
• 구현을 통해 공격의 실현 가능성을 검증하여, 최소한의 암호문으로도 개인 컴퓨터에서 실용적으로 구현 가능함을 보여주기 위해.

제안 방법

• AES-128의 경우, 라운드 9의 서브바이트 변환 이전에 최종 라운드 동안 단일 바이트 고장을 주입한다.
• 고장이 미크스컬럼스를 통해 어떻게 전파되는지 분석하여, 고장 난 출력 간 선형 관계를 유도한다.
• 역 S-박스와 고장 미분 방정식을 사용하여 관측된 고장 차이를 바탕으로 마지막 라운드 키 바이트에 대한 가능한 값의 집합을 계산한다.
• 다중 고장 주입을 통해 가능한 고장 값 집합의 교차를 적용하여, 마지막 라운드 키 바이트에 대한 후보 값을 유일한 해로 줄인다.
• 서브워드, 로트워드, Rcon 연산을 포함한 AES 키 스케줄 뒤집기 과정을 통해 마지막 라운드 키에서부터 전체 암호 키를 재구성한다.
• 최종 암호 키를 마지막 라운드 키에서부터 단계별로 키 스케줄을 뒤집는 의사코드 알고리즘을 사용한다.

실험 결과

연구 질문

• RQ1 AES는 전통적인 미분 암호분석에 대해 저항성이 있으나, 고장 분석이 효과적으로 적용될 수 있는가?
• RQ2 최종 라운드의 서브바이트 이전에 주입된 단일 바이트 고장이 미크스컬럼스를 통해 어떻게 전파되고 최종 암호문에 영향을 미치는가?
• RQ3 고장 주입과 결과적인 미분 출력 간의 수학적 관계는 무엇이며, 가능한 라운드 키 값의 범위를 제약하기 위해 유도될 수 있는가?
• RQ4 AES-128과 AES-256에서 마지막 라운드 키를 유일하게 결정하기 위해 몇 개의 고장 난 암호문이 필요한가?
• RQ5 키 스케줄을 통해 마지막 라운드 키에서 전체 AES 키를 재구성할 수 있으며, 그 과정의 계산 요구 사항은 무엇인가?

주요 결과

• 공격은 50개 미만의 고장 난 암호문을 분석하여 전체 AES-128 키를 성공적으로 복원하여 높은 실용적 효율성을 입증한다.
• 고장 주입 후 미크스컬럼스 처리 이후 네 개의 고장 난 상태 바이트 간 선형 관계가 발생하여 가능한 고장 값과 키 후보를 유도할 수 있다.
• 다중 고장 주입에서 유도된 가능한 고장 값 집합의 교차를 통해 마지막 라운드 키 바이트에 대한 후보 공간을 유일한 해로 줄일 수 있다.
• 다섯 번의 고장 주입만으로도 교차 분석을 통해 마지막 라운드 키 바이트를 높은 신뢰도로 복원할 수 있으며, 네 개의 집합 교차로 유일한 값이 도출됨을 실험적으로 입증하였다.
• AES 키 스케줄 뒤집기 과정을 통해 마지막 라운드 키에서 전체 암호 키를 재구성할 수 있으며, 이는 AES-256를 포함한 모든 AES 변형에서 실현 가능하다.
• 공격은 소프트웨어 시뮬레이션을 통한 성공적인 키 복원을 통해 표준 하드웨어에서도 실현 가능하며, 실용적임을 확인하였다.