QMC: a model checker for quantum systems

Gay, Simon J., Nagarajan, Rajagopal ORCID logoORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos (2008) QMC: a model checker for quantum systems. In: Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings. Gupta, Aarti and Malik, Sharad, eds. Lecture Notes in Computer Science (5123) . Springer, Berlin, pp. 543-547. ISBN 9783540705437. [Book Section] (doi:10.1007/978-3-540-70545-1_51)


The novel field of quantum computation and quantum information has been growing at a rapid rate; the study of quantum information in particular has led to the emergence of communication and cryptographic protocols with no classical analogues. Quantum information protocols have interesting properties which are not exhibited by their classical counterparts, but they are most distinguished for their applications in cryptography. Notable results include the unconditional security proof [1] of quantum key distribution. This result, in particular, is one of the reasons for the widespread interest in this field. Furthermore, the implementation of quantum cryptography has been demonstrated in non-laboratory settings and is already an important practical technology. Implementations of quantum cryptography have already been commercially launched and tested by a number of companies including MagiQ, Id Quantique, Toshiba, and NEC. The unconditional security of quantum key distribution protocols does not automatically imply the same degree of security for actual systems, of course; this justifies the need for systems modelling and verification in this setting.

Item Type: Book Section
Additional Information: Conference took place: Princeton, NJ, USA, July 7-14, 2008
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 11158
Useful Links:
Depositing User: Teddy ~
Date Deposited: 03 Jul 2013 15:46
Last Modified: 13 Oct 2016 14:27
URI: https://eprints.mdx.ac.uk/id/eprint/11158

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.