Quantum Protocols

Model checking quantum Markov chains

Although security of quantum cryptography is provable based on principles of quantum mechanics, it can be compromised by flaws in the …

Yuan Feng, Nengkun Yu, Mingsheng Ying