Specification and verification of quantum protocols
From MaRDI portal
Recommendations
Cited in
(23)- Measuring the constrained reachability in quantum Markov chains
- Correctness checking of a quantum protocol for reliable communications via feedback
- Model checking for entanglement swapping
- Formalization \textit{of} quantum protocols using Coq
- Model-checking linear-time properties of quantum systems
- Toward automatic verification of quantum cryptographic protocols
- Formal verification for KMB09 protocol
- Verifying quantum communication protocols with ground bisimulation
- Model checking -regular properties for quantum Markov chains
- Model checking quantum systems. Principles and algorithms
- Automated verification of quantum protocols using \textsc{mcmas}
- Verification of quantum protocols with a probabilistic model-checker
- ON STANDARDS AND SPECIFICATIONS IN QUANTUM CRYPTOGRAPHY
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Classical knowledge for quantum security
- Symbolic bisimulation for quantum processes
- Towards quantum programs verification: from Quipper circuits to QPMC
- Techniques for Formal Modelling and Analysis of Quantum Systems
- Analysis of quantum entanglement in quantum programs using stabilizer formalism
- The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
- Fibring as biporting subsumes asymmetric combinations
- Automated quantum program verification in dynamic quantum logic
- Automated equivalence checking of concurrent quantum systems
This page was built for publication: Specification and verification of quantum protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3560846)
