Andris Ambainis, Ansis Rosmanis, Dominique Unruh. Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding. In 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014. pages 474-483, IEEE Computer Society, 2014. [doi]
Abstract is missing.