Jens Groth Amit Sahai Efficient Non-interactive Proof Systems for Bilinear Groups. 415-432 2008 EUROCRYPT http://dx.doi.org/10.1007/978-3-540-78967-3_24 conf/eurocrypt/2008 db/conf/eurocrypt/eurocrypt2008.html#GrothS08