Twisted Polynomials and Forgery Attacks on GCM
Polynomial hashing as an instantiation of universal hashing is a widely employed method for the construction of MACs and authenticated encryption (AE) schemes, the ubiquitous GCM being a prominent example. It is also used in recent AE proposals within the CAESAR competition which aim at providing nonce misuse resistance, such as POET. The algebraic structure of polynomial hashing has given rise to security concerns: At CRYPTO 2008, Handschuh and Preneel describe key recovery attacks, and at FSE 2013, Procter and Cid provide a comprehensive framework for forgery attacks. Both approaches rely heavily on the ability to construct forgery polynomials having disjoint sets of roots, with many roots (“weak keys”) each. Constructing such polynomials beyond naïve approaches is crucial for these attacks, but still an open problem.
In this paper, we comprehensively address this issue. We propose to use twisted polynomials from Ore rings as forgery polynomials. We show how to construct sparse forgery polynomials with full control over the sets of roots. We also achieve complete and explicit disjoint coverage of the key space by these polynomials. We furthermore leverage this new construction in an improved key recovery algorithm.
As cryptanalytic applications of our twisted polynomials, we develop the first universal forgery attacks on GCM in the weak-key model that do not require nonce reuse. Moreover, we present universal weak-key forgeries for the nonce-misuse resistant AE scheme POET, which is a CAESAR candidate.
KeywordsAuthenticated encryption Polynomial hashing Twisted polynomial ring (Ore ring) Weak keys GCM POET
Unable to display preview. Download preview PDF.
- 1.CAESAR: Competition for Authenticated Encryption: Security, Applicability, and Robustness, March 2014. http://competitions.cr.yp.to/caesar.html
- 2.Abdelraheem, M.A., Beelen, P., Bogdanov, A., Tischhauser, E.: Twisted Polynomials and Forgery Attacks on GCM. IACR ePrint Archive (2015)Google Scholar
- 3.Abed, F., Fluhrer, S., Foley, J., Forler, C., List, E., Lucks, S., McGrew, D., Wenzel, J.: The POET Family of On-Line Authenticated Encryption Schemes. Submission to the CAESAR competition, March 2014Google Scholar
- 4.Andreeva, E., Luykx, A., Mennink, B., Yasuda, K.: COBRA: a parallelizable authenticated online cipher without block cipher inverse. In: Cid, C., Rechberger, C. (eds.) Fast Software Encryption, FSE 2014. LNCS, p. 24. Springer (2014) (to appear)Google Scholar
- 5.Bahack, L.: Julius: Secure Mode of Operation for Authenticated Encryption Based on ECB and Finite Field Multiplications. Submission to the CAESAR competition, March 2014. http://competitions.cr.yp.to/round1/juliusv10.pdf
- 6.Doworkin, M.: Recommendation for Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC, November 2007. http://csrc.nist.gov/publications/nistpubs/800-38D/SP-800-38D.pdf
- 7.Ferguson, N.: Authentication weaknesses in GCM. Comments submitted to NIST Modes of Operation Process (2005)Google Scholar
- 9.Guo, J., Jean, J., Peyrin, T., Lei, W.: Breaking POET Authentication with a Single Query. Cryptology ePrint Archive, Report 2014/197 (2014) http://eprint.iacr.org/
- 11.Joux, A.: Authentication Failures in NIST version of GCM. Comments submitted to NIST Modes of Operation Process (2006)Google Scholar
- 12.McGrew, D., Fluhrer, S., Lucks, S., Forler, C., Wenzel, J., Abed, F., List, E.: Pipelineable on-line encryption. In: Cid, C., Rechberger, C. (eds.) Fast Software Encryption, FSE 2014. LNCS, p. 24. Springer (2014) (to appear)Google Scholar
- 13.McGrew, D., Viega, J.: The galois/counter mode of operation (gcm). Submission to NIST (2004). http://csrc.nist.gov/CryptoToolkit/modes/proposedmodes/gcm/gcm-spec.pdf
- 14.Nandi, M.: Forging attacks on two authenticated encryptions cobra and poet. Cryptology ePrint Archive, Report 2014/363 (2014). https://eprint.iacr.org/2014/363
- 16.Procter, G., Cid, C.: On weak keys and forgery attacks against polynomial-based mac schemes. Cryptology ePrint Archive, Report 2013/144 (2013). http://eprint.iacr.org/
- 17.OpenSSL Project. https://www.openssl.org/
- 18.OpenSSL Project. GCM Implementation: crypto/modes/gcm128.c. https://www.openssl.org/source/ (latest release: April 7, 2014) (openssl-1.0.1g)
- 19.Rogaway, P.: Evaluation of some blockcipher modes of operation. Evaluation carried out for the Cryptography Research and Evaluation Committees (CRYPTREC) for the Government of Japan (2011)Google Scholar