51 citations · 72 across the 4 of their papers we have counts for
4 papers
QMC: A Model Checker for Quantum Systems
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of qua…
Logic Column 13: Reasoning Formally about Quantum Systems: An Overview
Nick Papanikolaou
This article is intended as an introduction to the subject of quantum logic, and as a brief survey of the relevant literature. Also discussed here are logics for specification and…
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…