19 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.CR2005★ 19 cited
An Automated Analysis of the Security of Quantum Key Distribution
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen +1
This paper discusses the use of computer-aided verification as a practical means for analysing quantum information systems; specifically, the BB84 protocol for quantum key distribu…
quant-ph2004
Feedback in quantum communication
Garry Bowen
In quantum communication feedback may be defined in a number of distinct ways. An analysis of the effect feedback has on the rate information may be communicated is given, and a nu…