A logical analysis of quantum voting protocols
From MaRDI portal
Recommendations
- Quantum anonymous voting with anonymity check
- Quantum anonymous voting protocol with the privacy protection of the candidate
- A simple voting protocol on quantum blockchain
- Towards quantum-based privacy and voting
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Cites work
- A dynamic-logical perspective on quantum behavior
- A quantum computational semantics for epistemic logical operators. I: Epistemic structures
- Complete axiomatizations for quantum actions
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Epistemic quantum computational structures in a Hilbert-space environment
- LQP: the dynamic logic of quantum information
- Modeling correlated information change: from conditional beliefs to quantum conditionals
- PLQP \& Company: decidable logics for quantum algorithms
- Quantum anonymous voting with anonymity check
- Quantum approach to epistemic semantics
- Quantum logic as a dynamic logic
- Quantum teleportation and quantum epistemic semantics
- The dynamic turn in quantum logic
- The logic of quantum mechanics
Cited in
(4)
This page was built for publication: A logical analysis of quantum voting protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q682659)
