Melissa Chase Anna Lysyanskaya Simulatable VRFs with Applications to Multi-theorem NIZK. 303-322 2007 conf/crypto/2007 CRYPTO http://dx.doi.org/10.1007/978-3-540-74143-5_17 db/conf/crypto/crypto2007.html#ChaseL07