A SAT-Based Approach for Index Calculus on Binary Elliptic Curves
From MaRDI portal
Publication:5048971
DOI10.1007/978-3-030-51938-4_11zbMath1504.94192OpenAlexW3031677562MaRDI QIDQ5048971
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
symmetryelliptic curvessatisfiabilitydiscrete logarithmindex calculuspoint decomposition\textsc{dpll} algorithm
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the discrete logarithm problem in elliptic curves. II
- Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
- Parallel collision search with cryptanalytic applications
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- The Magma algebra system. I: The user language
- Revisiting AES related-key differential attacks with constraint programming
- A crossbred algorithm for solving Boolean polynomial systems
- Solving the Elliptic Curve Discrete Logarithm Problem Using Semaev Polynomials, Weil Descent and Gröbner Basis Methods – An Experimental Study
- Cover and Decomposition Index Calculus on Elliptic Curves Made Practical
- Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields
- Summation Polynomial Algorithms for Elliptic Curves in Characteristic Two
- Fast Exhaustive Search for Quadratic Systems in $$\mathbb {F}_{2}$$ on FPGAs
- On the discrete logarithm problem in elliptic curves
- Improvement of Faugère et al.’s Method to Solve ECDLP
- Hybrid approach for solving multivariate systems over finite fields
- On Polynomial Systems Arising from a Weil Descent
- Symmetrized Summation Polynomials: Using Small Order Torsion Points to Speed Up Elliptic Curve Index Calculus
- A machine program for theorem-proving
This page was built for publication: A SAT-Based Approach for Index Calculus on Binary Elliptic Curves
