Classical Knowledge for Quantum Security (original) (raw)
Related papers
A Process Algebra for Reasoning About Quantum Security
Electronic Notes in Theoretical Computer Science, 2007
Classical Cryptographic Protocols in a Quantum World
Advances in Cryptology – CRYPTO 2011, 2011
Towards model-checking quantum security protocols
First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007, 2007
Secure multi-party quantum computation
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing - STOC '02, 2002
Quantum cryptography and secret sharing
Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding
2014 IEEE 55th Annual Symposium on Foundations of Computer Science, 2014
On Classical Cryptographic Protocols in Post-Quantum World
International Journal of Computer Network and Information Security
Quantum Cryptography: Security Criteria Reexamined
Physical Review A, 2004
A generic security proof for quantum key distribution
2004
Logical Structures Underlying Quantum Computing
Entropy
Extending Classical Logic for Reasoning About Quantum Systems
Handbook of Quantum Logic and Quantum Structures, 2009
Security Notions for Quantum Public-Key Cryptography
2007
A Logical Analysis of Quantum Voting Protocols
International Journal of Theoretical Physics
Unconditionally secure cryptosystems based on quantum cryptography
Information Sciences, 2008
From quantum logic to quantum computational logic
2003
Quantum Information Processing, 2020
Mathematical Structures in Computer Science, 2004
Trends in logic, 2018
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science, 2006
Interactive proofs for quantum computations
2008
Relational proofs for quantum programs
Proceedings of the ACM on Programming Languages, 2020
A Theorem Prover for Quantum Hoare Logic and Its Applications
ArXiv, 2016
PLQP & Company: Decidable Logics for Quantum Algorithms
2014
Deduction, Ordering, and Operations in Quantum Logic
Foundations of Physics