Graphs and pairings of elliptic curves

Cycle 36th Oral Defence of the Phd Thesis
22 febbraio 2024
Orario di inizio 
PovoZero - Via Sommarive 14, Povo (Trento)
Aula Seminari - Dipartimento di Fisica - Povo 0
Organizzato da: 
Doctoral School in Mathematics
Comunità universitaria
Online su prenotazione
Email per prenotazione: 
Federico Pintore – Nadir Murru

Marzio Mula - PhD in Mathematics, University of Trento

Abstract: Most isogeny-based cryptosystems ultimately rely, for their security, on the problem of finding a secret isogeny between two elliptic curves (IsoPath). As cryptographic applications usually employ weaker variants of IsoPath for practical reasons, it is natural to ask whether these variants are equally hard from a computational perspective. For example, what happens if the endomorphism ring of one of the curves is known? Does the existence of suitable pairings affect the hardness of IsoPath? What happens if some non-trivial endomorphisms of the domain and codomain curves are known?
The first question leads to the well-known problem of hashing on the supersingular isogeny graph, i.e. the graph whose vertices are supersingular elliptic curves (up to isomorphism) and whose edges are isogenies of fixed degree. In the first part of the talk we show that none of the available hashing techniques are at the same time efficient and cryptographically secure, and we also point out a few alternative approaches. Furthermore, we leverage the classic Deuring correspondence between supersingular elliptic curves and quaternion orders to study a weaker variant of IsoPath.
We then address the latter questions, showing that, in the general case, finding distinct pairings compatible with a secret isogeny is no easier than solving IsoPath. In the presence of an orientation, on the other hand, we show that the existence of suitable self-pairings, together with a recent attack on the isogeny-based key-exchange SIDH, does lead to efficiently solving IsoPath in some cases.
Finally, we introduce a different graph of elliptic curves, which has not been considered before in isogeny-based cryptography and which does not arise, in fact, from isogenies: the Hessian graph. We give a (still partial) account of its remarkable regularity and discuss potential cryptographic applications.