Groups Complexity Cryptology
Managing Editor: Rosenberger, Gerhard / Shpilrain, Vladimir
Editorial Board Member: Blackburn, Simon R. / Conder, Marston / Dehornoy, Patrick / Eick, Bettina / Fine, Benjamin / Gilman, Robert / Grigoriev, Dima / Ko, Ki Hyoung / Kreuzer, Martin / May, Alexander / Mikhalev, Alexander V. / Myasnikov, Alexei / Roman'kov, Vitalii / Sapir, Mark / Thomas, Rick / Tsaban, Boaz / Capell, Enric Ventura / Weil, Pascal
2 Issues per year
Mathematical Citation Quotient 2013: 0.12
Volume 6 (2014)
Most Downloaded Articles
- Actions of the Braid Group, and New Algebraic Proofs of Results of Dehornoy and Larue by Bacardit, Lluís and Dicks, Warren
- Strong law of large numbers on graphs and groups by Mosina, Natalia and Ushakov, Alexander
- Cyclic rewriting and conjugacy problems by Diekert, Volker/ Duncan, Andrew and Myasnikov, Alexei G.
- The Zieschang–McCool method for generating algebraic mapping-class groups by Bacardit, Lluís and Dicks, Warren
- An update on Hurwitz groups by Conder, Marston
Using Decision Problems in Public Key Cryptography
1Department of Mathematics, The City College of New York, New York, NY 10031, USA. (email), http://www.sci.ccny.cuny.edu/~shpil
2Department of Mathematics, CUNY Graduate Center, New York, NY 10016, USA. (email)
Citation Information: Groups – Complexity – Cryptology. Volume 1, Issue 1, Pages 33–49, ISSN (Online) 1869-6104, ISSN (Print) 1867-1144, DOI: 10.1515/GCC.2009.33, February 2010
- Published Online:
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by now. Most of these problems are search problems, i.e., they are of the following nature: given a property and the information that there are objects with the property , find at least one particular object with the property . So far, no cryptographic protocol based on a search problem in a non-commutative (semi)group has been recognized as secure enough to be a viable alternative to established protocols (such as RSA) based on commutative (semi)groups, although most of these protocols are more efficient than RSA is.
In this paper, we suggest to use decision problems from combinatorial group theory as the core of a public key establishment protocol or a public key cryptosystem. Decision problems are problems of the following nature: given a property and an object , find out whether or not the object has the property .
By using a popular decision problem, the word problem, we design a cryptosystem with the following features: (1) Bob transmits to Alice an encrypted binary sequence which Alice decrypts correctly with probability “very close” to 1; (2) the adversary, Eve, who is granted arbitrarily high (but fixed) computational speed, cannot positively identify (at least, in theory), by using a “brute force attack”, the “1” or “0” bits in Bob's binary sequence. In other words: no matter what computational speed we grant Eve at the outset, there is no guarantee that her “brute force attack” program will give a conclusive answer (or an answer which is correct with overwhelming probability) about any bit in Bob's sequence.