A new method for solving polynomial systems with noise over F₂ and its applications in cold boot key recovery

DOI10.1007/978-3-642-35999-6_2MaRDI QIDQ3455484zbMATH OpenOpenAlexFDO

Authors Zhenyu Huang, Dongdai Lin

Publication date 4 December 2015

Published in Selected Areas in Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35999-6_2

zbMATH Keywords

AESserpentMax-PoSSocharacteristic set methodBoolean equationscold boot attackpolynomial system with noise

Mathematics Subject Classification ID

Cryptography (94A60) Polynomials over finite fields (11T06)

Recommendations

• Solving polynomial systems with noise over \(\mathbb{F}_2\): revisited
• Cryptanalytic applications of the polynomial method for solving multivariate equation systems over \(\mathrm{GF}(2)\)
• Solving polynomial systems over finite fields: improved analysis of the hybrid approach
• A crossbred algorithm for solving Boolean polynomial systems
• Algebraic Attacks Using IP-Solvers

Cites work

• A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Attacking Bivium and Trivium with the characteristic set method
• Basic principles of mechanical theorem proving in elementary geometries
• Characteristic set algorithms for equation solving in finite fields
• Cryptanalysis of Block Ciphers with Overdefined Systems of Equations
• Minimal achievable approximation ratio for MAX-MQ in finite fields
• Parametric equation solving and quantifier elimination in finite fields with the characteristic set method
• Satisfying degree-\(d\) equations over \(\mathrm{GF}[2]^{n}\)

Cited in

(3)

• Speeding up the GVW algorithm via a substituting method
• On the efficiency of solving Boolean polynomial systems with the characteristic set method
• Solving polynomial systems with noise over \(\mathbb{F}_2\): revisited

This page was built for publication: A new method for solving polynomial systems with noise over \(\mathbb{F}_2\) and its applications in cold boot key recovery

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455484)