Classical Knowledge for Quantum Cryptographic Reasoning

DOI10.1016/j.entcs.2008.10.026zbMath1277.81039OpenAlexW1965568576MaRDI QIDQ2864501

Vincent Danos, Ellie D'Hondt

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.026

zbMATH Keywords

securityformal verificationquantum cryptographymeta-logic reasoning

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62) Quantum cryptography (quantum-theoretic aspects) (81P94)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantum cryptography: public key distribution and coin tossing
• Distributed Measurement-based Quantum Computation
• Unconditional security in quantum cryptography
• The measurement calculus
• Quantum cryptography based on Bell’s theorem
• Quantum cryptography without Bell’s theorem
• Communicating quantum processes
• LQP: the dynamic logic of quantum information
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Classical Knowledge for Quantum Cryptographic Reasoning