Classical knowledge for quantum cryptographic reasoning

DOI10.1016/J.ENTCS.2008.10.026zbMATH Open1277.81039OpenAlexW1965568576MaRDI QIDQ2864501FDOQ2864501

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

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

zbMATH Keywords

quantum cryptographysecurityformal verificationmeta-logic reasoning

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)

Cites Work

• Quantum cryptography based on Bell’s theorem
• Title not available (Why is that?)
• Quantum cryptography: public key distribution and coin tossing
• Unconditional security in quantum cryptography
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum cryptography without Bell’s theorem
• Title not available (Why is that?)
• LQP: the dynamic logic of quantum information
• The measurement calculus
• Distributed measurement-based quantum computation
• Communicating quantum processes
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

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)