A logical analysis of quantum voting protocols

DOI10.1007/s10773-017-3409-4zbMath1394.81022OpenAlexW2726784712MaRDI QIDQ682659

Soroush Rafiee Rad, Sonja Smets, Elahe Shirinkalam

Publication date: 5 February 2018

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-017-3409-4

zbMATH Keywords

quantum voting protocoldynamic quantum logicprotocol verification

Mathematics Subject Classification ID

Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (1)

Holistic and compositional logics based on the Bertini gate

Cites Work

• Unnamed Item
• The dynamic turn in quantum logic
• Quantum anonymous voting with anonymity check
• A quantum computational semantics for epistemic logical operators. I: Epistemic structures
• PLQP \& Company: decidable logics for quantum algorithms
• Quantum logic as a dynamic logic
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Complete axiomatizations for quantum actions
• A dynamic-logical perspective on quantum behavior
• Quantum approach to epistemic semantics
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
• Modeling correlated information change: from conditional beliefs to quantum conditionals
• The logic of quantum mechanics
• Quantum teleportation and quantum epistemic semantics
• LQP: the dynamic logic of quantum information

This page was built for publication: A logical analysis of quantum voting protocols