Verification of concurrent quantum protocols by equivalence checking
Conference paper
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2014. Verification of concurrent quantum protocols by equivalence checking. TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Grenoble, France 05 - 13 Apr 2014 Springer. https://doi.org/10.1007/978-3-642-54862-8_42
Type | Conference paper |
---|---|
Title | Verification of concurrent quantum protocols by equivalence checking |
Authors | Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. |
Abstract | We present a tool which uses a concurrent language for describing quantum systems, and performs verification by checking equivalence between specification and implementation. In general, simulation of quantum systems using current computing technology is infeasible. We restrict ourselves to the stabilizer formalism, in which there are efficient simulation algorithms. In particular, we consider concurrent quantum protocols that behave functionally in the sense of computing a deterministic input-output relation for all interleavings of the concurrent system. Crucially, these input output relations can be abstracted by superoperators, enabling us to take advantage of linearity. This allows us to analyse the behaviour of protocols with arbitrary input, by simulating their operation on a finite basis set consisting of stabilizer states. Despite the limitations of the stabilizer formalism and also the range of protocols that can be analysed using this approach, we have applied our equivalence checking tool to specify and verify interesting and practical quantum protocols from teleportation to secret sharing. |
Research Group | Foundations of Computing group |
Conference | TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
Proceedings Title | TACAS 2014: Tools and Algorithms for the Construction and Analysis of Systems |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
ISBN | |
Paperback | 9783642548611 |
Electronic | 9783642548628 |
Publisher | Springer |
Publication dates | |
11 Mar 2014 | |
Online | 21 Mar 2014 |
Publication process dates | |
Deposited | 03 Jun 2015 |
Accepted | 20 Dec 2013 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-642-54862-8_42 |
Web address (URL) of conference proceedings | https://doi.org/10.1007/978-3-642-54862-8 |
Language | English |
https://repository.mdx.ac.uk/item/858w4
52
total views0
total downloads3
views this month0
downloads this month