Classical knowledge for quantum security

DOI10.1016/J.ENTCS.2011.01.014MaRDI QIDQ2825352zbMATH OpenOpenAlexWikidataFDO

Authors Ellie D'Hondt, Mehrnoosh Sadrzadeh

Publication date 7 October 2016

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

algebraic information updatedistributed measurement calculusquantum cryptography

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Quantum computation (81P68) Quantum cryptography (quantum-theoretic aspects) (81P94) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Classical knowledge for quantum cryptographic reasoning
• Composing Quantum Protocols in a Classical Environment
• A process algebra for reasoning about quantum security
• scientific article; zbMATH DE number 1263182
• Classical cryptographic protocols in a quantum world

Cites work

• Concurrent common knowledge: Defining agreement for asynchronous systems
• Distributed measurement-based quantum computation
• Epistemic Actions as Resources
• Graph states for quantum secret sharing
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics for epistemic programs
• Quantum cryptography based on Bell’s theorem
• Quantum cryptography: public key distribution and coin tossing
• Specification and verification of quantum protocols
• The measurement calculus

Cited in

(5)

• Categorical quantum cryptography for access control in cloud computing
• Implementation of framework for quantum-classical and classical-quantum conversion
• A process algebra for reasoning about quantum security
• Classical knowledge for quantum cryptographic reasoning
• Classical cryptographic protocols in a quantum world

Describes a project that uses

Uses Software

• Aximo

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)