Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding | IEEE Conference Publication | IEEE Xplore