Automated verification of quantum protocols using \textsc{mcmas}

MaRDI QIDQ5858724zbMATH OpenFDO

Authors

Publication date 14 April 2021

Full work available at URL https://arxiv.org/abs/1207.1271, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.4

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum computation (81P68)

Recommendations

• Specification and verification of quantum protocols
• Verifying quantum communication protocols with ground bisimulation
• Formal verification for KMB09 protocol
• Toward automatic verification of quantum cryptographic protocols
• Semi-automated verification of security proofs of quantum cryptographic protocols

Cited in

(3)

• Formal verification for KMB09 protocol
• Specification and verification of quantum protocols
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Automated verification of quantum protocols using \textsc{mcmas}

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