Verified Indifferentiable Hashing into Elliptic Curves | Publicación