Classical knowledge for quantum security
DOI10.1016/J.ENTCS.2011.01.014zbMATH Open1348.81201OpenAlexW2039116936WikidataQ113318323 ScholiaQ113318323MaRDI QIDQ2825352FDOQ2825352
Authors: Ellie D'Hondt, Mehrnoosh Sadrzadeh 
Publication date: 7 October 2016
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.2011.01.014
Recommendations
Quantum computation (81P68) Grammars and rewriting systems (68Q42) 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
- Logics for epistemic programs
- Title not available (Why is that?)
- Graph states for quantum secret sharing
- Epistemic Actions as Resources
- The measurement calculus
- Specification and verification of quantum protocols
- Distributed measurement-based quantum computation
- Concurrent common knowledge: Defining agreement for asynchronous systems
Cited In (5)
- Implementation of framework for quantum-classical and classical-quantum conversion
- Categorical quantum cryptography for access control in cloud computing
- A process algebra for reasoning about quantum security
- Classical cryptographic protocols in a quantum world
- Classical knowledge for quantum cryptographic reasoning
Uses Software
This page was built for publication: Classical knowledge for quantum security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825352)
