Silvio Micali Michael O. Rabin Salil P. Vadhan Verifiable Random Functions. 120-130 1999 conf/focs/1999 FOCS http://doi.ieeecomputersociety.org/10.1109/SFFCS.1999.814584 db/conf/focs/focs99.html#MicaliRV99