Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2024.05a
  • /
  • Pages.188-191
  • /
  • 2024
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A survey of approximation algorithms for cryptanalysis for lattice-based cryptography.

격자 기반 암호 분석을 위한 Approximate 알고리즘에 대한 조사

  • Hyun-Ji Kim (Dept. of IT Convergence Security, Han-sung University) ;
  • Duk-Young Kim (Dept. of IT Convergence Security, Han-sung University) ;
  • Se-Young Yoon (Dept. of IT Convergence Security, Han-sung University) ;
  • Hwa-Jeong Seo (Dept. of IT Convergence Security, Han-sung University)
  • 김현지 (한성대학교 IT융합보안학과) ;
  • 김덕영 (한성대학교 IT융합보안학과 ) ;
  • 윤세영 (한성대학교 IT융합보안학과) ;
  • 서화정 (한성대학교 IT융합보안학과 )
  • Published : 2024.05.23
Download PDF
⟨ Previous Next ⟩

Abstract

최근 양자컴퓨터와 양자컴퓨팅 기술이 발전하면서, 수학적 난제에 기반을 둔 현대 암호들이 위협받고 있다. 이에 양자 내성 암호에 대한 활발한 연구들이 진행되고 있으며, 이와 동시에 양자 내성 암호를 분석하기 위한 노력들도 존재한다. 양자 내성 암호 중 한 종류인 격자 기반 암호는 NP-hard 문제에 속하는 격자 문제를 기반으로 하며, 해당 격자 문제가 해결된다면 격자 기반 암호 시스템에도 큰 위협이 될 수 있다. 본 논문에서는 이러한 격자 기반 문제를 해결하기 위한 기법 중, 고차원 격자를 대상으로 하는 Approximate algorithm의 기술 동향에 대해 알아보고, 현재의 알고리즘 개발 동향을 기반으로 향후 진행되어야 할 연구 방향에 대해 살펴본다.

Keywords

Acknowledgement

This work was supported by Institute for Information & communications Technology Planning & Evaluation (IITP) grant funded by the Korea government(MSIT) (<Q|Crypton>, No.2019-0-00033, Study on Quantum Security Evaluation of Cryptography based on Computational Quantum Complexity, 100%).

References

  1. Ajtai, Miklos. "The shortest vector problem in L2 is NP-hard for randomized reductions." Proceedings of the thirtieth annual ACM symposium on Theory of computing. 1998.
  2. Micciancio, Daniele, and Shafi Goldwasser. "Shortest vector problem." Complexity of Lattice Problems: A Cryptographic Perspective. Boston, MA: Springer US, 2002. 69-90.
  3. O Regev, Oded. "The learning with errors problem." Invited survey in CCC 7.30 (2010): 11.
  4. Nguyen, Phong Q., and Brigitte Vallee. The LLL algorithm. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
  5. Schnorr, Claus-Peter, and Martin Euchner. "Lattice basis reduction: Improved practical algorithms and solving subset sum problems." Mathematical programming 66 (1994): 181-199.
  6. Ajtai, Miklos, Ravi Kumar, and Dandapani Sivakumar. "A sieve algorithm for the shortest lattice vector problem." Proceedings of the thirty-third annual ACM symposium on Theory of computing. 2001.
  7. Nuyen, Phong Q., and Thomas Vidick. "Sieve algorithms for the shortest vector problem are practical." Journal of Mathematical Cryptology 2.2 (2008): 181-207.
  8. Micciancio, Daniele, and Panagiotis Voulgaris. "Faster exponential time algorithms for the shortest vector problem." Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 2010.
  9. Tiepelt, Marcel, and Alan Szepieniec. "Quantum LLL with an application to mersenne number cryptosystems." Progress in Cryptology-LATINCRYPT 2019: 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2-4, 2019, Proceedings 6. Springer International Publishing, 2019.
  10. Cuccaro, Steven A., et al. "A new quantum ripple-carry addition circuit." arXiv preprint quant-ph/0410184 (2004).
  11. Gidney, Craig. "Halving the cost of quantum addition." Quantum 2 (2018): 74.
  12. Zhang, Wen, Sanzheng Qiao, and Yimin Wei. "HKZ and Minkowski reduction algorithms for lattice-reduction-aided MIMO detection." IEEE transactions on signal processing 60.11 (2012): 5963-5976.