Quantum Security and Fiat-Shamir for Cryptographic Protocols