Security Proofs and Quantum Attacks