Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).

David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi

Browse the full ACNS paper archive.