@misc{cryptoeprint:2015:712,
    author = {David Bernhard and Bogdan Warinschi and Ngoc Khanh Nguyen},
    title = {Adaptive Proofs have Straightline Extractors (in the Random Oracle Model)},
    howpublished = {Cryptology ePrint Archive, Report 2015/712},
    year = {2015},
    url = {https://eprint.iacr.org/2015/712},
}