Classical knowledge for quantum cryptographic reasoning

DOI10.1016/J.ENTCS.2008.10.026MaRDI QIDQ2864501zbMATH OpenOpenAlexFDO

Authors 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

formal verificationmeta-logic reasoningquantum cryptographysecurity

Mathematics Subject Classification ID

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

Recommendations

• Classical knowledge for quantum security
• A proof of the security of quantum key distribution
• A proof of the security of quantum key distribution (extended abstract)
• On Quantum Cryptography and Number Theory
• Quantum key distribution with classical Bob

Cites work

• Communicating quantum processes
• Distributed measurement-based quantum computation
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• LQP: the dynamic logic of quantum information
• Quantum cryptography based on Bell’s theorem
• Quantum cryptography without Bell’s theorem
• Quantum cryptography: public key distribution and coin tossing
• The computational power of the W and GHZ states
• The measurement calculus
• Unconditional security in quantum cryptography

Cited in

(4)

• Strategic knowledge of the past in quantum cryptography
• Implementation of framework for quantum-classical and classical-quantum conversion
• Classical knowledge for quantum security
• Graphical calculus for quantum key distribution (extended abstract)

This page was built for publication: Classical knowledge for quantum cryptographic reasoning

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