A SAT-Based Approach for Index Calculus on Binary Elliptic Curves

DOI10.1007/978-3-030-51938-4_11MaRDI QIDQ5048971zbMATH OpenOpenAlexFDO

Authors Monika Trimoska, Sorina Ionica, Gilles Dequen

Publication date 9 November 2022

Published in Progress in Cryptology - AFRICACRYPT 2020 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51938-4_11

zbMATH Keywords

symmetryelliptic curvesdiscrete logarithmsatisfiabilityindex calculuspoint decomposition\textsc{dpll} algorithm

Mathematics Subject Classification ID

Cryptography (94A60) Elliptic curves (14H52)

Recommendations

• Improving the complexity of index calculus algorithms in elliptic curves over binary fields
• scientific article; zbMATH DE number 1302788
• On the computational complexity of ECDLP for elliptic curves in various forms using index calculus
• Using symmetries in the index calculus for elliptic curves discrete logarithm
• On index calculus algorithms for subfield curves
• scientific article; zbMATH DE number 1113836
• Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
• Computing all S-integral points on elliptic curves
• Information Security and Privacy
• A New Model of Binary Elliptic Curves

Cites work

• scientific article; zbMATH DE number 176613 (Why is no real title available?)
• scientific article; zbMATH DE number 475432 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• A crossbred algorithm for solving Boolean polynomial systems
• A machine program for theorem-proving
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Beating brute force for (quantified) satisfiability of circuits of bounded treewidth
• Cover and decomposition index calculus on elliptic curves made practical. Application to a previously unreachable curve over \(\mathbb{F}_{p^6}\)
• Fast exhaustive search for quadratic systems in \(\mathbb {F}_2\) on FPGAs
• Hybrid approach for solving multivariate systems over finite fields
• Improvement of Faugère et al.'s method to solve ECDLP
• Improving the complexity of index calculus algorithms in elliptic curves over binary fields
• Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
• On polynomial systems arising from a Weil descent
• On the discrete logarithm problem in elliptic curves
• On the discrete logarithm problem in elliptic curves. II
• Parallel collision search with cryptanalytic applications
• Revisiting AES related-key differential attacks with constraint programming
• Solving the elliptic curve discrete logarithm problem using Semaev polynomials, Weil descent and Gröbner basis methods -- an experimental study
• Summation polynomial algorithms for elliptic curves in characteristic two
• Symmetrized summation polynomials: using small order torsion points to speed up elliptic curve index calculus
• The Magma algebra system. I: The user language

Cited in

(1)

• Logical cryptanalysis with WDSat

Describes a project that uses

Uses Software

• Magma
• GitHub

This page was built for publication: A SAT-Based Approach for Index Calculus on Binary Elliptic Curves

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