Fast Exhaustive Search for Polynomial Systems in \({\mathbb{F}_2}\)

  • Charles Bouillaguet
  • Hsieh-Chung Chen
  • Chen-Mou Cheng
  • Tung Chou
  • Ruben Niederhagen
  • Adi Shamir
  • Bo-Yin Yang
Conference paper

DOI: 10.1007/978-3-642-15031-9_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6225)
Cite this paper as:
Bouillaguet C. et al. (2010) Fast Exhaustive Search for Polynomial Systems in \({\mathbb{F}_2}\). In: Mangard S., Standaert FX. (eds) Cryptographic Hardware and Embedded Systems, CHES 2010. CHES 2010. Lecture Notes in Computer Science, vol 6225. Springer, Berlin, Heidelberg

Abstract

We analyze how fast we can solve general systems of multivariate equations of various low degrees over \({\mathbb{F}_{2}}\); this is a well known hard problem which is important both in itself and as part of many types of algebraic cryptanalysis. Compared to the standard exhaustive search technique, our improved approach is more efficient both asymptotically and practically. We implemented several optimized versions of our techniques on CPUs and GPUs. Our technique runs more than 10 times faster on modern graphic cards than on the most powerful CPU available. Today, we can solve 48+ quadratic equations in 48 binary variables on a 500-dollar NVIDIA GTX 295 graphics card in 21 minutes. With this level of performance, solving systems of equations supposed to ensure a security level of 64 bits turns out to be feasible in practice with a modest budget. This is a clear demonstration of the computational power of GPUs in solving many types of combinatorial and cryptanalytic problems.

Keywords

multivariate polynomials solving systems of equations exhaustive search parallelization Graphic Processing Units (GPUs) 
Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Charles Bouillaguet
    • 1
  • Hsieh-Chung Chen
    • 2
  • Chen-Mou Cheng
    • 3
  • Tung Chou
    • 3
  • Ruben Niederhagen
    • 3
    • 4
  • Adi Shamir
    • 1
    • 5
  • Bo-Yin Yang
    • 2
  1. 1.Ecole Normale SupérieureParisFrance
  2. 2.Institute of Information ScienceAcademia SinicaTaipeiTaiwan
  3. 3.National Taiwan UniversityTaipeiTaiwan
  4. 4.Technische Universiteit EindhovenThe Netherlands
  5. 5.Weizmann Institute of ScienceIsrael

Personalised recommendations