Pages that link to "Item:Q2311888"
From MaRDI portal
The following pages link to Verification of quantum computation: an overview of existing approaches (Q2311888):
Displaying 15 items.
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- Quantum spin half algebra and generalized Megrelishvili protocol for confidentiality of digital images (Q2239534) (← links)
- Direct state measurements under state-preparation-and-measurement errors (Q2690473) (← links)
- Security limitations of classical-client delegated quantum computing (Q2692401) (← links)
- How to Verify a Quantum Computation (Q4568113) (← links)
- (Q5091154) (← links)
- Verifying quantum computations at scale: A cryptographic leash on quantum devices (Q5204995) (← links)
- Classical verification of quantum proofs (Q5361888) (← links)
- Graphic lattices made by graph felicitous-type labelings and colorings of topological coding (Q6103472) (← links)
- \texttt{tqix}: a toolbox for quantum in \texttt{x}. \texttt{x}: quantum measurement, quantum tomography, quantum metrology, and others (Q6161943) (← links)
- Various matching keys for asymmetric topology encryption (Q6180574) (← links)
- Multi-agent blind quantum computation without universal cluster states (Q6559788) (← links)
- Half-blind quantum computation with operation teleportation (Q6562965) (← links)
- A practical convertible quantum signature scheme with public verifiability into universal quantum designated verifier signature using self-certified public keys (Q6629272) (← links)
- Interactive oracle arguments in the QROM and applications to succinct verification of quantum computation (Q6636121) (← links)
