When is scalar multiplication decidable?

Philipp Hieronymi

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

scalar multiplication
elliptic curve
secure communication
first order logic
database systems
computationally efficient
digital signature