Supersingularity and Superspeciality Verification of Abelian Surfaces

Maria Corte-Real Santos, Gioella Lorenzon, Krijn Reijnders

Supersingular abelian surfaces are essential in isogeny-based cryptography. Despite this, we have no efficient algorithm to verify if a given abelian surface is supersingular. In t…