Source author record

Craig Costello

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
2close collaborators

Published work

2 publications

preprint2020arXiv

The supersingular isogeny problem in genus 2 and beyond

Let A/F‾_pA/\overline{\mathbb{F}}\_p and A′/F‾_pA'/\overline{\mathbb{F}}\_p be supersingular principally polarized abelian varieties of dimension g>1g>1. For any prime ℓ≠p\ell \ne p, we give an algorithm that finds a path ϕ ⁣:A→A′ϕ\colon A \rightarrow A' in the (ℓ,…,ℓ)(\ell, \dots , \ell)-isogeny graph in O~(pg−1)\widetilde{O}(p^{g-1}) group operations on a classical computer, and O~(pg−1)\widetilde{O}(\sqrt{p^{g-1}}) calls to the Grover oracle on a quantum computer. The idea is to find paths from AA and A′A' to nodes that correspond to products of lower dimensional abelian varieties, and to recurse down in dimension until an elliptic path-finding algorithm (such as Delfs--Galbraith) can be invoked to connect the paths in dimension g=1g=1. In the general case where AA and A′A' are any two nodes in the graph, this algorithm presents an asymptotic improvement over all of the algorithms in the current literature. In the special case where AA and A′A' are a known and relatively small number of steps away from each other (as is the case in higher dimensional analogues of SIDH), it gives an asymptotic improvement over the quantum claw finding algorithms and an asymptotic improvement over the classical van Oorschot--Wiener algorithm.

preprint2015arXiv

Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes

We give a general framework for uniform, constant-time one-and two-dimensional scalar multiplication algorithms for elliptic curves and Jacobians of genus 2 curves that operate by projecting to the x-line or Kummer surface, where we can exploit faster and more uniform pseudomultiplication, before recovering the proper "signed" output back on the curve or Jacobian. This extends the work of L{ó}pez and Dahab, Okeya and Sakurai, and Brier and Joye to genus 2, and also to two-dimensional scalar multiplication. Our results show that many existing fast pseudomultiplication implementations (hitherto limited to applications in Diffie--Hellman key exchange) can be wrapped with simple and efficient pre-and post-computations to yield competitive full scalar multiplication algorithms, ready for use in more general discrete logarithm-based cryptosystems, including signature schemes. This is especially interesting for genus 2, where Kummer surfaces can outperform comparable elliptic curve systems. As an example, we construct an instance of the Schnorr signature scheme driven by Kummer surface arithmetic.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.