New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs | Publicación