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

Monika Trimoska Sorina Ionica Gilles Dequen

Published in: AFRICACRYPT (2020)

Keyphrases

elliptic curve
scalar multiplication
satisfiability problem
elliptic curve cryptography
sat problem
diffie hellman
power analysis
index structure
key management
search algorithm
sat solvers
efficient computation
public key cryptography
np complete
computational efficiency
digital signature