Pages that link to "Item:Q2311888"
From MaRDI portal
The following pages link to Verification of quantum computation: an overview of existing approaches (Q2311888):
Displayed 9 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)
- (Q5091154) (← links)
- Verifying quantum computations at scale: A cryptographic leash on quantum devices (Q5204995) (← 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)