Karatsuba-based square-root Vélu’s formulas applied to two isogeny-based protocols | Publicación