Computationally sound proofs: Reducing the number of random oracle calls. manuscript (1999)

by M Naor, K Nissim