Verifying quantum communication protocols with ground bisimulation

DOI10.1007/978-3-030-45237-7_2zbMATH Open1473.68115OpenAlexW3016663929MaRDI QIDQ2233434FDOQ2233434

Authors Xudong Qin, Wenjie Du, Yuxin Deng

Publication date 18 October 2021

Full work available at URL https://doi.org/10.1007/978-3-030-45237-7_2

zbMATH Keywords

verificationbisimulationquantum communication protocolsquantum process algebra

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Toward automatic verification of quantum cryptographic protocols
• Bisimulation for quantum processes
• Equational reasoning about quantum protocols
• Specification and verification of quantum protocols
• Equivalence checking of quantum protocols

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A theory of bisimulation for the \(\pi\)-calculus
• An algebra of quantum processes
• Automated equivalence checking of concurrent quantum systems
• Bisimulation for quantum processes
• Communicating quantum processes
• Deciding bisimilarity and similarity for probabilistic processes.
• Open bisimulation for quantum processes
• Polynomial time decision algorithms for probabilistic automata
• Probabilistic bisimulations for quantum processes
• Quantum cryptography: public key distribution and coin tossing
• Relations among quantum processes: bisimilarity and congruence
• Semi-automated verification of security proofs of quantum cryptographic protocols
• Symbolic bisimulation for quantum processes
• Symbolic bisimulations
• Towards a quantum programming language

Cited in

(15)

• Branching bisimulation semantics for quantum processes
• Correctness checking of a quantum protocol for reliable communications via feedback
• Toward automatic verification of quantum cryptographic protocols
• Bisimulation for quantum processes
• Formalization \textit{of} quantum protocols using Coq
• Analysis of a quantum error correcting code using quantum process calculus
• Equivalence checking of quantum protocols
• Specification and verification of quantum protocols
• Automated verification of quantum protocols using \textsc{mcmas}
• Application of quantum process calculus to higher dimensional quantum protocols
• Automated equivalence checking of concurrent quantum systems
• Equational reasoning about quantum protocols
• An axiomatization for quantum processes to unifying quantum and classical computing
• Formal verification for KMB09 protocol
• Types and typechecking for Communicating Quantum Processes

This page was built for publication: Verifying quantum communication protocols with ground bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233434)