David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi. Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model). In Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi, editors, Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings. Volume 10355 of Lecture Notes in Computer Science, pages 336-353, Springer, 2017. [doi]
Abstract is missing.