A SAT-based approach for index calculus on binary elliptic curves.

Monika Trimoska Sorina Ionica Gilles Dequen

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

elliptic curve
scalar multiplication
elliptic curve cryptography
phase transition
sat solvers
sat problem
diffie hellman
digital signature
public key cryptography
search algorithm
index structure
power analysis
computational efficiency
satisfiability problem
efficient computation
modular exponentiation