51 citations · 83 across the 5 of their papers we have counts for
6 papers
Lossless Quantum Compression
Caroline Rogers, Rajagopal Nagarajan
We describe lossless quantum compression of unknown mixtures (of non-orthogonal states) and give an expression of the optimal rate of compression.
Probabilistic Model--Checking of Quantum Protocols
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We establish fundamental and general techniques for formal verification of quantum protocols. Quantum protocols are novel communication schemes involving the use of quantum-mechani…
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…
Communicating Quantum Processes
Simon Gay, Rajagopal Nagarajan
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication p…
On Feedback and the Classical Capacity of a Noisy Quantum Channel
Garry Bowen, Rajagopal Nagarajan
In Shannon information theory the capacity of a memoryless communication channel cannot be increased by the use of feedback from receiver to sender. In this paper the use of classi…
Formal Verification of Quantum Protocols
Rajagopal Nagarajan, Simon Gay
We propose to analyse quantum protocols by applying formal verification techniques developed in classical computing for the analysis of communicating concurrent systems. One area o…