Skip to main content

2018 | OriginalPaper | Buchkapitel

The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography

verfasst von : Kelsey Horan, Delaram Kahrobaei

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper we discuss the Hidden Subgroup Problem (HSP) in relation to post-quantum cryptography. We review the relationship between HSP and other computational problems, discuss an optimal solution method, and review results about the quantum complexity of HSP. We also overview some platforms for group-based cryptosystems. Notably, efficient algorithms for solving HSP in the proposed infinite group platforms are not yet known.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Childs, A.: Lecture notes on quantum algorithms (2017) Childs, A.: Lecture notes on quantum algorithms (2017)
3.
Zurück zum Zitat Anshel, I., Atkins, D., Goldfeld, D., Gunnells, P.: WalnutDSA(TM): a quantum resistant group theoretic digital signature algorithm. IACR Cryptology ePrint Archive (2017) Anshel, I., Atkins, D., Goldfeld, D., Gunnells, P.: WalnutDSA(TM): a quantum resistant group theoretic digital signature algorithm. IACR Cryptology ePrint Archive (2017)
4.
Zurück zum Zitat Wang, L., Wang, L.: Conjugate searching problem vs. hidden subgroup problem. In: The Third International Workshop on Post-Quantum Cryptography, Recent Results Session (2010) Wang, L., Wang, L.: Conjugate searching problem vs. hidden subgroup problem. In: The Third International Workshop on Post-Quantum Cryptography, Recent Results Session (2010)
5.
Zurück zum Zitat Wang, L., Wang, L., Cao, Z., Yang, Y., Niu, X.: Conjugate adjoining problem in braid groups and new design of braid-based signatures. Sci. China Inf. Sci. 53(3), 524–536 (2010)MathSciNetCrossRef Wang, L., Wang, L., Cao, Z., Yang, Y., Niu, X.: Conjugate adjoining problem in braid groups and new design of braid-based signatures. Sci. China Inf. Sci. 53(3), 524–536 (2010)MathSciNetCrossRef
6.
Zurück zum Zitat Grover, L.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212–219 (1996) Grover, L.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212–219 (1996)
8.
Zurück zum Zitat Flores, R., Kahrobaei, D.: Cryptography with right-angled artin groups. Theoret. Appl. Inform. 28, 8–16 (2016) Flores, R., Kahrobaei, D.: Cryptography with right-angled artin groups. Theoret. Appl. Inform. 28, 8–16 (2016)
9.
Zurück zum Zitat Flores, R., Kahrobaei, D., Koberda, T.: Algorithmic problems in right-angled artin groups: complexity and applications. arXiv preprint arXiv:1802.04870 (2018) Flores, R., Kahrobaei, D., Koberda, T.: Algorithmic problems in right-angled artin groups: complexity and applications. arXiv preprint arXiv:​1802.​04870 (2018)
10.
Zurück zum Zitat Eick, B., Kahrobaei, D.: Polycyclic groups: a new platform for cryptology? arXiv preprint math/0411077 (2004) Eick, B., Kahrobaei, D.: Polycyclic groups: a new platform for cryptology? arXiv preprint math/​0411077 (2004)
11.
Zurück zum Zitat Gryak, J., Kahrobaei, D.: The status of polycyclic group-based cryptography: a survey and open problems. Groups Complex. Cryptology 8(2), 171–186 (2016)MathSciNetCrossRef Gryak, J., Kahrobaei, D.: The status of polycyclic group-based cryptography: a survey and open problems. Groups Complex. Cryptology 8(2), 171–186 (2016)MathSciNetCrossRef
12.
Zurück zum Zitat Kahrobaei, D., Koupparis, C.: On-commutative digital signatures using non-commutative groups. Groups Complexity Cryptology, pp. 377–384 (2012) Kahrobaei, D., Koupparis, C.: On-commutative digital signatures using non-commutative groups. Groups Complexity Cryptology, pp. 377–384 (2012)
13.
Zurück zum Zitat Kahrobaei, D., Khan, B.: A non-commutative generalization of ELGamal key exchange using polycyclic groups. In: IEEE Global Telecommunications Conference 2006, pp. 1–5 (2006) Kahrobaei, D., Khan, B.: A non-commutative generalization of ELGamal key exchange using polycyclic groups. In: IEEE Global Telecommunications Conference 2006, pp. 1–5 (2006)
16.
Zurück zum Zitat Chatterji, I., Kahrobaei, D., Lu, N.Y.: Cryptosystems using subgroup distortion. Theoret. Appl. Inform. 29, 14–24 (2017) Chatterji, I., Kahrobaei, D., Lu, N.Y.: Cryptosystems using subgroup distortion. Theoret. Appl. Inform. 29, 14–24 (2017)
17.
Zurück zum Zitat Shpilrain, V., Zapata, G.: Combinatorial group theory and public key cryptography. Appl. Algebra Eng. Commun. Comput. 17(3–4), 291–302 (2006)MathSciNetCrossRef Shpilrain, V., Zapata, G.: Combinatorial group theory and public key cryptography. Appl. Algebra Eng. Commun. Comput. 17(3–4), 291–302 (2006)MathSciNetCrossRef
19.
Zurück zum Zitat Baumslag, G., Fine, B., Xu, X.: Cryptosystems using linear groups. Appl. Algebra Eng. Commun. Comput. 17(3–4), 205–217 (2006)MathSciNetCrossRef Baumslag, G., Fine, B., Xu, X.: Cryptosystems using linear groups. Appl. Algebra Eng. Commun. Comput. 17(3–4), 205–217 (2006)MathSciNetCrossRef
21.
Zurück zum Zitat Grigoriev, D., Ponomarenko, I.: Homomorphic public-key cryptosystems over groups and rings. arXiv preprint cs/0309010 (2003) Grigoriev, D., Ponomarenko, I.: Homomorphic public-key cryptosystems over groups and rings. arXiv preprint cs/​0309010 (2003)
24.
Zurück zum Zitat Grigoriev, D.: Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Theoret. Comput. Sci. 180(1–2), 217–228 (1997)MathSciNetCrossRef Grigoriev, D.: Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Theoret. Comput. Sci. 180(1–2), 217–228 (1997)MathSciNetCrossRef
28.
Zurück zum Zitat Shor, P.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303–332 (1999)MathSciNetCrossRef Shor, P.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303–332 (1999)MathSciNetCrossRef
29.
Zurück zum Zitat Kitaev, A.: Quantum computations: algorithms and error correction. Russ. Math. Surv. 52(6), 1191–1249 (1997)MathSciNetCrossRef Kitaev, A.: Quantum computations: algorithms and error correction. Russ. Math. Surv. 52(6), 1191–1249 (1997)MathSciNetCrossRef
30.
Zurück zum Zitat Brassard, G., Hoyer, P.: An exact quantum polynomial-time algorithm for Simon’s problem. In: Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, pp. 12–23. IEEE (1997) Brassard, G., Hoyer, P.: An exact quantum polynomial-time algorithm for Simon’s problem. In: Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, pp. 12–23. IEEE (1997)
31.
Zurück zum Zitat Grigni, M., Schulman, L., Vazirani, M., Vazirani, U.: Quantum mechanical algorithms for the nonabelian hidden subgroup problem. In: Proceedings of the thirty-third annual ACM Symposium on Theory of Computing, pp. 68–74 (2001) Grigni, M., Schulman, L., Vazirani, M., Vazirani, U.: Quantum mechanical algorithms for the nonabelian hidden subgroup problem. In: Proceedings of the thirty-third annual ACM Symposium on Theory of Computing, pp. 68–74 (2001)
32.
Zurück zum Zitat Gavinsky, D.: Quantum solution to the hidden subgroup problem for poly-near-hamiltonian groups. Quantum Inf. Comput. 4(3), 229–235 (2004)MathSciNetMATH Gavinsky, D.: Quantum solution to the hidden subgroup problem for poly-near-hamiltonian groups. Quantum Inf. Comput. 4(3), 229–235 (2004)MathSciNetMATH
33.
Zurück zum Zitat Ivanyos, G., Magniez, F., Santha, M.: Efficient quantum algorithms for some instances of the non-abelian hidden subgroup problem. Int. J. Found. Comput. Sci. 14(05), 723–739 (2003)MathSciNetCrossRef Ivanyos, G., Magniez, F., Santha, M.: Efficient quantum algorithms for some instances of the non-abelian hidden subgroup problem. Int. J. Found. Comput. Sci. 14(05), 723–739 (2003)MathSciNetCrossRef
34.
Zurück zum Zitat Friedl, K., Ivanyos, G., Magniez, F., Santha, M., Sen, P.: Hidden translation and translating coset in quantum computing. SIAM J. Comput. 43(1), 1–24 (2014)MathSciNetCrossRef Friedl, K., Ivanyos, G., Magniez, F., Santha, M., Sen, P.: Hidden translation and translating coset in quantum computing. SIAM J. Comput. 43(1), 1–24 (2014)MathSciNetCrossRef
35.
Zurück zum Zitat Hallgren, S., Russell, A., Ta-Shma, A.: Normal subgroup reconstruction and quantum computation using group representations. In: Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, pp. 627–635 (2000) Hallgren, S., Russell, A., Ta-Shma, A.: Normal subgroup reconstruction and quantum computation using group representations. In: Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, pp. 627–635 (2000)
36.
Zurück zum Zitat Childs, A., Ivanyos, G.: Quantum computation of discrete logarithms in semigroups. J. Math. Cryptology 8(4), 405–416 (2014)MathSciNetCrossRef Childs, A., Ivanyos, G.: Quantum computation of discrete logarithms in semigroups. J. Math. Cryptology 8(4), 405–416 (2014)MathSciNetCrossRef
37.
Zurück zum Zitat Kuperberg, G.: A subexponential-time quantum algorithm for the dihedral hidden subgroup problem. SIAM J. Comput. 35(1), 170–188 (2005)MathSciNetCrossRef Kuperberg, G.: A subexponential-time quantum algorithm for the dihedral hidden subgroup problem. SIAM J. Comput. 35(1), 170–188 (2005)MathSciNetCrossRef
38.
Zurück zum Zitat Regev, O.: A subexponential time algorithm for the dihedral hidden subgroup problem with polynomial space. arXiv preprint quant-ph/0406151 (2004) Regev, O.: A subexponential time algorithm for the dihedral hidden subgroup problem with polynomial space. arXiv preprint quant-ph/​0406151 (2004)
39.
Zurück zum Zitat Roetteler, M., Beth, T.: Polynomial-time solution to the hidden subgroup problem for a class of non-abelian groups. arXiv preprint quant-ph/9812070 (1998) Roetteler, M., Beth, T.: Polynomial-time solution to the hidden subgroup problem for a class of non-abelian groups. arXiv preprint quant-ph/​9812070 (1998)
40.
Zurück zum Zitat Friedl, K., Ivanyos, G., Magniez, F., Santha, M., Sen, P.: Hidden translation and orbit coset in quantum computing. In: Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, pp. 1–9 (2003) Friedl, K., Ivanyos, G., Magniez, F., Santha, M., Sen, P.: Hidden translation and orbit coset in quantum computing. In: Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, pp. 1–9 (2003)
41.
Zurück zum Zitat Moore, C., Rockmore, D., Russell, A., Schulman, L.: The power of basis selection in Fourier sampling: hidden subgroup problems in affine groups. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1113–1122 (2004) Moore, C., Rockmore, D., Russell, A., Schulman, L.: The power of basis selection in Fourier sampling: hidden subgroup problems in affine groups. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1113–1122 (2004)
42.
Zurück zum Zitat Inui, Y., Le Gall, F.: An efficient algorithm for the hidden subgroup problem over a class of semi-direct product groups. Technical report (2004) Inui, Y., Le Gall, F.: An efficient algorithm for the hidden subgroup problem over a class of semi-direct product groups. Technical report (2004)
43.
Zurück zum Zitat Gonçalves, D., Portugal, R.: Solution to the hidden subgroup problem for a class of noncommutative groups. arXiv preprint arXiv:1104.1361 (2011) Gonçalves, D., Portugal, R.: Solution to the hidden subgroup problem for a class of noncommutative groups. arXiv preprint arXiv:​1104.​1361 (2011)
44.
Zurück zum Zitat Gonçalves, D., Fernandes, T., Cosme, C.: An efficient quantum algorithm for the hidden subgroup problem over some non-abelian groups. TEMA (São Carlos) 18(2), 215–223 (2017)MathSciNetCrossRef Gonçalves, D., Fernandes, T., Cosme, C.: An efficient quantum algorithm for the hidden subgroup problem over some non-abelian groups. TEMA (São Carlos) 18(2), 215–223 (2017)MathSciNetCrossRef
45.
Zurück zum Zitat Ettinger, M., Høyer, P., Knill, E.: The quantum query complexity of the hidden subgroup problem is polynomial. Inf. Process. Lett. 91(1), 43–48 (2004)MathSciNetCrossRef Ettinger, M., Høyer, P., Knill, E.: The quantum query complexity of the hidden subgroup problem is polynomial. Inf. Process. Lett. 91(1), 43–48 (2004)MathSciNetCrossRef
46.
Zurück zum Zitat Kissinger, A., Gogioso, S.: Fully graphical treatment of the quantum algorithm for the hidden subgroup problem. arXiv preprint quant-ph 1701.08669 (2017) Kissinger, A., Gogioso, S.: Fully graphical treatment of the quantum algorithm for the hidden subgroup problem. arXiv preprint quant-ph 1701.​08669 (2017)
47.
Zurück zum Zitat Eisenträger, K., Hallgren, S., Kitaev, A., Song, F.: A quantum algorithm for computing the unit group of an arbitrary degree number field. In: Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing, pp. 293–302 (2014) Eisenträger, K., Hallgren, S., Kitaev, A., Song, F.: A quantum algorithm for computing the unit group of an arbitrary degree number field. In: Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing, pp. 293–302 (2014)
Metadaten
Titel
The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography
verfasst von
Kelsey Horan
Delaram Kahrobaei
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_26

Premium Partner