@misc{cryptoeprint:2000:018,
    author = {A. Aiello, S. Bhatt, R. Ostrovsky, S. Rajagopalan.},
    title = {Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP},
    howpublished = {Cryptology ePrint Archive, Report 2000/018},
    year = {2000},
    url = {http://eprint.iacr.org/2000/018},
}