On quantum simulation-soundness
From MaRDI portal
Cites work
- A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model
- A cryptographic test of quantumness and certifiable randomness from a single quantum device
- A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks
- A single quantum cannot be cloned
- Advances in Cryptology – CRYPTO 2004
- Arya: nearly linear-time zero-knowledge proofs for correct program execution
- Breaking symmetric cryptosystems using quantum period finding
- Constrained keys for invertible pseudorandom functions
- Dual-mode NIZKs from obfuscation
- Formal treatment of privacy-enhancing credential systems
- Foundations of fully dynamic group signatures
- Group Signatures
- How to construct quantum random functions
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- How to record quantum queries, and applications to quantum indifferentiability
- scientific article; zbMATH DE number 1722673 (Why is no real title available?)
- scientific article; zbMATH DE number 4191103 (Why is no real title available?)
- scientific article; zbMATH DE number 1256680 (Why is no real title available?)
- scientific article; zbMATH DE number 708808 (Why is no real title available?)
- scientific article; zbMATH DE number 1842511 (Why is no real title available?)
- scientific article; zbMATH DE number 4187086 (Why is no real title available?)
- Non-interactive verifiable computing: outsourcing computation to untrusted workers
- Non-interactive zero-knowledge proofs in the quantum random oracle model
- Non-malleable non-interactive zero knowledge and adaptive chosen-ciphertext security
- On lattices, learning with errors, random linear codes, and cryptography
- On security notions for encryption in a quantum world
- Post-quantum insecurity from LWE
- Post-quantum plaintext-awareness
- Post-quantum security of the CBC, CFB, OFB, CTR, and XTS modes of operation
- Post-quantum security of the Even-Mansour cipher
- Public-Key Cryptosystems Resilient to Key Leakage
- QCB: efficient quantum-secure authenticated encryption
- Quadratic span programs and succinct NIZKs without PCPs
- Quantum proofs of knowledge
- Quantum-access-secure message authentication via blind-unforgeability
- Quantum-secure message authentication codes
- Randomizable Proofs and Delegatable Anonymous Credentials
- Relationships between quantum IND-CPA notions
- Secure identity-based encryption in the quantum random oracle model
- Secure signatures and chosen ciphertext security in a quantum computing world
- Simulation-sound arguments for LWE and applications to KDM-CCA2 security
- Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
- Spartan and bulletproofs are simulation-extractable (for free!)
- Structure-preserving signatures on equivalence classes and constant-size anonymous credentials
- Superposition attacks on cryptographic protocols
- The knowledge complexity of interactive proof-systems
- Universally composable security: a new paradigm for cryptographic protocols
- ZAPs and non-interactive witness indistinguishability from indistinguishability obfuscation
- Zero-knowledge against quantum attacks
This page was built for publication: On quantum simulation-soundness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7326426)
