A SAT-Based Approach for Index Calculus on Binary Elliptic Curves (Q5048971)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A SAT-Based Approach for Index Calculus on Binary Elliptic Curves |
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
0 references
0 references
0 references
0.9144606
0 references
0.88214123
0 references
0.8732339
0 references
0.8651715
0 references
0.85313016
0 references
0.84900284
0 references
0 references
0 references
