A SAT-Based Approach for Index Calculus on Binary Elliptic Curves (Q5048971)
From MaRDI portal
scientific article; zbMATH DE number 7614640
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A SAT-Based Approach for Index Calculus on Binary Elliptic Curves |
scientific article; zbMATH DE number 7614640 |
Statements
A SAT-Based Approach for Index Calculus on Binary Elliptic Curves (English)
0 references
9 November 2022
0 references
discrete logarithm
0 references
index calculus
0 references
elliptic curves
0 references
point decomposition
0 references
symmetry
0 references
satisfiability
0 references
\textsc{dpll} algorithm
0 references
