Algebraic Eraser Explained

Algebraic Eraser (AE)^[1] is an anonymous key agreement protocol that allows two parties, each having an AE public–private key pair, to establish a shared secret over an insecure channel.^[2] This shared secret may be directly used as a key, or to derive another key that can then be used to encrypt subsequent communications using a symmetric key cipher. Algebraic Eraser was developed by Iris Anshel, Michael Anshel, Dorian Goldfeld and Stephane Lemieux. SecureRF owns patents covering the protocol^[3] and unsuccessfully attempted (as of July 2019) to standardize the protocol as part of ISO/IEC 29167-20,^[4] a standard for securing radio-frequency identification devices and wireless sensor networks.

Keyset parameters

Before two parties can establish a key they must first agree on a set of parameters, called the keyset parameters. These parameters comprise:

N , the number of strands in the braid,q , the size of the finite field F _{q} ,M _{*} , the initial NxN seed matrix in F _{q} ,\Tau , a set of N elements in the finite field F _{q} (also called the T-values), and A,B a set of conjugates in the braid group designed to commute with each other.

E-multiplication

\beta in the braid group, and T-values, one applies E-multiplication by converting the generator to a colored Burau matrix and braid permutation, (CB(\beta),\sigma _{\beta)} , applying the permutation and T-values, and then multiplying the matrices and permutations. The output of E-multiplication is itself a matrix and permutation pair: (M',\sigma') = (M,\sigma _{0)*(CB(\beta),\sigma} _{\beta)} .

Key establishment protocol

The following example illustrates how to make a key establishment. Suppose Alice wants to establish a shared key with Bob, but the only channel available may be eavesdropped by a third party. Initially, Alice and Bob must agree on the keyset parameters they will use.

Each party must have a key pair derived from the keyset, consisting of a private key (e.g., in the case of Alice)

(m _{A,\Beta} _{a)} where m _{A} is a randomly selected polynomial of the seed matrix m _{A} = \sum ^{N -1} _{i =0} {a _{i} M ^{i}} _{*} and a braid, which is a randomly selected set of conjugates and inverses chosen from the keyset parameters (A for Alice and B for Bob, where (for Alice) \Beta _{a} = \prod ^{k} _{i =1} A ^{\pm 1} _{i} ).

From their private key material Alice and Bob each compute their public key

(Pub _{A,\sigma} _{a)} and (Pub _{B,\sigma} _{b)} where, e.g., (Pub _{A,\sigma} _{a)} = (m _{A,id)} * b _{a} , that is, the result of E-Multiplication of the private matrix and identity-permutation with the private braid.

Each party must know the other party's public key prior to execution of the protocol.

To compute the shared secret, Alice computes

(S _{ab} ,\sigma _{ab} ) = (m _{A} Pub _{B,\sigma} _{b)} * \Beta _{a} and Bob computes (S _{ba} ,\sigma _{ba} ) = (m _{B} Pub _{A,\sigma} _{a)} * \Beta _{b} . The shared secret is the matrix/permutation pair (S _{ab} ,\sigma _{ab} ) , which equals (S _{ba} ,\sigma _{ba} ) . The shared secrets are equal because the conjugate sets A and B are chosen to commute and both Alice and Bob use the same seed matrix M _{*} and T-values \Tau .

The only information about her private key that Alice initially exposes is her public key. So, no party other than Alice can determine Alice's private key, unless that party can solve the Braid Group Simultaneous Conjugacy Separation Search problem. Bob's private key is similarly secure. No party other than Alice or Bob can compute the shared secret, unless that party can solve the Diffie–Hellman problem.

The public keys are either static (and trusted, say via a certificate) or ephemeral. Ephemeral keys are temporary and not necessarily authenticated, so if authentication is desired, authenticity assurances must be obtained by other means. Authentication is necessary to avoid man-in-the-middle attacks. If one of Alice or Bob's public key is static then man-in-the-middle attacks are thwarted. Static public keys provide neither forward secrecy nor key-compromise impersonation resilience, among other advanced security properties. Holders of static private keys should validate the other public key, and should apply a secure key derivation function to the raw Diffie–Hellman shared secret to avoid leaking information about the static private key.

Security

The security of AE is based on the Generalized Simultaneous Conjugacy Search Problem (GSCSP)^[5] within the braid group. This is a distinct and different hard problem than the Conjugacy Search Problem (CSP), which has been the central hard problem in what is called braid group cryptography.^[6] Even if CSP is uniformly broken (which has not been done to date), it is not known how this would facilitate a break of GSCSP.

Known attacks

The first attack by Kalka, Teicher and Tsaban shows a class of weak-keys when

M _{*} or m _{A} are chosen randomly.^[7] The authors of Algebraic Eraser followed up with a preprint on how to choose parameters that aren't prone to the attack.^[8] Ben-Zvi, Blackburn, and Tsaban improved the first attack into one the authors claim can break the publicized security parameters (claimed to provide 128-bit security) using less than 8 CPU hours, and less than 64MB of memory.^[9] Anshel, Atkins and Goldfeld responded to this attack in January 2016.^[10]

A second attack by Myasnikov and Ushakov, published as a preprint, shows that conjugates chosen with a too-short conjugator braid can be separated, breaking the system.^[11] This attack was refuted by Gunnells, by showing that properly sized conjugator braids cannot be separated.^[5]

In 2016, Simon R. Blackburn and Matthew J. B. Robshaw published a range of practical attacks against the January 2016 draft of the ISO/IEC 29167-20 over-the-air protocol, including impersonation of a target tag with negligible amount of time and memory and full private key recovery requiring 2⁴⁹ time and 2⁴⁸ memory.^[12] Atkins and Goldfeld responded that adding a hash or message authentication code to the draft protocol defeats these attacks.^[13]

See also

• Anshel–Anshel–Goldfeld key exchange
• Group-based cryptography
• Non-commutative cryptography

External links

• SecureRF home page

Notes and References

1. Also referred to as the colored Burau key agreement protocol (CBKAP), Anshel - Anshel - Goldfeld - Lemieux key agreement protocol, Algebraic Eraser key agreement protocol (AEKAP), and Algebraic Eraser Diffie - Hellman (AEDH).
2. Book: Anshel . I. . Anshel . M. . Dorian Goldfeld . Goldfeld . D. . Lemieux . S. . Key Agreement, The Algebraic Eraser and Lightweight Cryptography . http://www.securerf.com/wp-content/uploads/2014/03/SecureRF-Technical-White-Paper-06-with-Appendix-A-B.pdf . Algebraic methods in cryptography . American Mathematical Society . Contemp. Math. . 418 . 2006 . 978-0-8218-4037-5 . 1–34 .
3. Web site: Why Algebraic Eraser may be the riskiest cryptosystem you've never heard of . Dan . Goodin . 17 November 2015 . .
4. http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=67411 ISO/IEC AWI 29167-20
5. P.E. . Gunnells . On the Cryptanalysis of the Generalized Simultaneous Conjugacy Search Problem and the Security of the Algebraic Eraser . 2011 . cs.CR . 1105.1141.
6. Book: Dehornoy, Patrick . Braid-based cryptography . 10.1090/conm/360/06566 . 2105432 . 5–33 . American Mathematical Society . Contemporary Mathematics . Group theory, statistics, and cryptography . 360 . 2004. 9780821834442 . 10.1.1.10.1759 .
7. Kalka A, Teicher M, Tsaban B . Mina Teicher . 0804.0629. Short Expressions of Permutations as Products and Cryptanalysis of the Algebraic Eraser . 2012 . . 49 . 1 . 57–76 . 2008arXiv0804.0629K . 10.1016/j.aam.2012.03.001. 10040122 .
8. Dorian Goldfeld . Goldfield . D. . Gunnels . P.E. . Defeating the Kalka-Teicher-Tsaban Linear Algebra Attack on the Algebraic Eraser . 2012 . cs.CR . 1202.0598.
9. Book: Ben-Zvi, A, Blackburn, Simon R, Tsaban B . A Practical Cryptanalysis of the Algebraic Eraser . 1511.03870 . Advances in Cryptology – CRYPTO 2016 . 2016 . Lecture Notes in Computer Science . 9814 . 179–189 . Springer . https://doi.org/10.1007/978-3-662-53018-4_7 . 10.1007/978-3-662-53018-4_7 . 978-3-662-53018-4 . 10.1.1.738.4755. 1277023 .
10. Anshel . I. . Derek Atkins . Atkins . D. . Dorian Goldfeld . Goldfeld . D. . Gunnels . P.E. . Defeating the Ben-Zvi, Blackburn, and Tsaban Attack on the Algebraic Eraser . 2016 . cs.CR . 1601.04780.
11. Myasnikov AD, Ushakov A . Cryptanalysis of Anshel-Anshel-Goldfeld-Lemieux key agreement protocol . 2008 . math.GR . 0801.4786.
12. Book: Simon R. . Blackburn . M.J.B. . Robshaw. Applied Cryptography and Network Security . 9696 . 3–17 . 2016 . 10.1007/978-3-319-39555-5_1 . Lecture Notes in Computer Science . 978-3-319-39554-8 . On the Security of the Algebraic Eraser Tag Authentication Protocol . 1602.00860 . 371335 . https://eprint.iacr.org/2016/091.pdf.
13. Derek Atkins . Derek Atkins . Dorian Goldfeld . Dorian Goldfeld . 2016-02-25. Addressing the Algebraic Eraser Diffie–Hellman Over-the-Air Protocol . . IACR.