Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Equivalence checking of quantum protocols

Tools
- Tools
+ Tools

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492. ISBN 9783642367410. doi:10.1007/978-3-642-36742-7_33 ISSN 0302-9743.

[img] Text
WRAP_Ardeshir-Larijani_tacas_.pdf - Accepted Version
Embargoed item. Restricted access to Repository staff only

Download (744Kb)
Official URL: http://dx.doi.org/10.1007/978-3-642-36742-7_33

Request Changes to record.

Abstract

Quantum Information Processing (QIP) is an emerging area at the intersection of physics and computer science. It aims to establish the principles of communication and computation for systems based on the theory of quantum mechanics. Interesting QIP protocols such as quantum key distribution, teleportation, and blind quantum computation have already been realised in the laboratory and are now in the realm of mainstream industrial applications. The complexity of these protocols, along with possible inaccuracies in implementation, demands systematic and formal analysis. In this paper, we present a new technique and a tool, with a high-level interface, for verification of quantum protocols using equivalence checking. Previous work by Gay, Nagarajan and Papanikolaou used model-checking to verify quantum protocols represented in the stabilizer formalism, a restricted model which can be simulated efficiently on classical computers. Here, we are able to go beyond stabilizer states and verify protocols efficiently on all input states.

Item Type: Conference Item (Paper)
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Quantum computers -- Mathematical models
Series Name: Lecture notes in computer science
Journal or Publication Title: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings
Publisher: Springer-Verlag Berlin
ISBN: 9783642367410
ISSN: 0302-9743
Editor: Piterman, Nir and Smolka, Scott A.
Official Date: 2013
Dates:
DateEvent
2013Published
Volume: Volume 7795
Page Range: pp. 478-492
DOI: 10.1007/978-3-642-36742-7_33
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Description:
Date of first compliant deposit: 26 December 2015
Funder: Engineering and Physical Sciences Research Council (EPSRC), Australian Research Council (ARC)
Grant number: EP/D063191/1 (EPSRC), DP110103473 (ARC)
Conference Paper Type: Paper
Title of Event: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Type of Event: Conference
Location of Event: Rome, Italy
Date(s) of Event: 16-24 March 2013

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us