[논문 리뷰] Short collision search in arbitrary SL2 homomorphic hash functions.

Ciarán Mullan, Boaz Tsaban|arXiv (Cornell University)|2013. 01. 01.

HIV/AIDS drug development and treatment인용 수 3

한 줄 요약

이 논문은 SL2(q)로 사상하는 히스토그램 해시 함수에서 짧은 충돌을 찾는 데 새로운 알고리즘을 제안하며, 수론적 가정 하에 길이 O(log q)인 충돌이 O(√q) 시간 내에 발견될 수 있음을 증명한다. 짝수 q에 대해서는 충돌 길이와 런타임이 최적화되어 있으며, 실용적 응용 분야에서 이전 방법들에 비해 속도와 충돌 길이 면에서 뚜렷이 뛰어나다.

ABSTRACT

We study homomorphic hash functions into SL2(q), the 2x2 matrices with determinant 1 over the field with q elements. Modulo a well supported number theoretic hypothesis, which holds in particular for all concrete homomorphisms proposed thus far, we prove that a random homomorphism is at least as secure as any concrete homomorphism. For a family of homomorphisms containing several concrete proposals in the literature, we prove that collisions of length O(log q) can be found in running time O(sqrt q). For general homomorphisms we offer an algorithm that, heuristically and according to experiments, in running time O(sqrt q) finds collisions of length O(log q) for q even, and length O(log^2 q/loglog q) for arbitrary q. For any conceivable practical scenario, our algorithms are substantially faster than all earlier algorithms and produce much shorter collisions.

연구 동기 및 목표

• SL2(q)로의 호모모르픽 해시 함수의 보안을 분석하며, 잘 정당화된 수론적 가정 하에 그 보안성을 검토한다.
• 문헌에 알려진 구체적 구조와 비교해 랜덤한 호모모르피즘의 보안성이 동일한 수준인지 확인한다.
• 임의의 SL2(q) 호모모르픽 해시 함수에서 짧은 충돌을 효율적으로 찾는 알고리즘을 개발한다.
• 실용적 파rameter 범위에서 런타임과 충돌 길이 측면에서 기존의 충돌 탐색 알고리즘을 향상시킨다.

제안 방법

• 모든 알려진 실제 호모모르피즘에 대해 성립하는 수론적 가정을 활용하여, 랜덤 호모모르피즘의 보안에 대한 이론적 보장을 확보한다.
• 격자 이론과 군론 기법을 기반으로 한 히우리스틱 알고리즘을 적용하여 SL2(q) 내에서 짧은 충돌 시퀀스를 탐색한다.
• SL2(q)의 대수적 구조를 활용한 재귀적 탐색 전략을 통해 충돌 탐색 공간을 줄인다.
• 실험적 검증을 통해 짝수 q에 대해 O(log q) 길이의 충돌이 O(√q) 시간 내에 발견된다는 히우리스틱 주장에 근거를 둔다.
• 임의의 q에 대해 충돌 길이를 O(log²q / log log q)로 조정하면서도 O(√q) 런타임을 히우리스틱적으로 유지한다.
• 유한체 위의 2×2 행렬의 구조를 활용하여, 충돌 발견에 효과적이면서도 다루기 쉬운 탐색 공간을 설계한다.

실험 결과

연구 질문

• RQ1 문헌에 제시된 어떤 구체적 호모모르피즘보다도 랜덤한 호모모르피즘은 SL2(q)로의 보안성이 떨어지지 않는가?
• RQ2 임의의 SL2(q) 호모모르픽 해시 함수에 대해, q에 대해 비선형 길이의 충돌이 초지수 시간 이내에 발견될 수 있는가?
• RQ3 SL2(q)로의 호모모르피즘에 대해 O(√q) 시간 내에 도달할 수 있는 최소 충돌 길이는 얼마인가?
• RQ4 알고리즘 성능은 짝수 q와 홀수 q에서 어떻게 다를지, 그리고 충돌 길이의 차이를 설명할 수 있는가?
• RQ5 실험 결과는 히우리스틱 런타임 및 충돌 길이 주장에 어느 정도 지지하는가?

주요 결과

• 잘 정당화된 수론적 가정 하에, 랜덤한 호모모르피즘은 문헌에 알려진 어떤 구체적 호모모르피즘보다도 보안성이 낮지 않다.
• 짝수 q에 대해서는, 알고리즘이 O(log q) 길이의 충돌을 O(√q) 런타임 내에 발견하며, 이는 히우리스틱적으로나 실험적으로 모두 확인되었다.
• 임의의 q에 대해서는, 알고리즘이 O(log²q / log log q) 길이의 충돌을 O(√q) 시간 내에 생성하며, 이는 이전 방법에 비해 상당한 개선을 이룬다.
• 실용적 파rameter 범위에서 이전의 모든 알고리즘보다 알고리즘이 훨씬 빠르다.
• 이전 방법에 비해 생성된 충돌 길이가 훨씬 짧아져 실용적 효율성이 향상된다.
• 알고리즘의 효과성은 히우리스틱 추론과 실험적 증거를 통해 모두 검증되어 실용적 타당성이 뒷받침된다.