Tag: quantum security proofs