A Programming Language for Quantum Communication Systems Design

by Nikolaos Papanikolaou
Abstract:
Several languages for quantum programming have been proposed before, which facilitate the description of algorithms for quantum computers. None such language has been developed specifically for protocol design and validation. Protocols for quantum cryptography give a guarantee of immunity to eavesdropping, but proofs of their unconditional security are purely theoretical. The goal of this work is to establish a framework for formal definition and validation of quantum protocols.
Reference:
A Programming Language for Quantum Communication Systems Design (Nikolaos Papanikolaou), In Proceedings of the IEEE Postgraduate Research in Electronics, Photonics, Communications and Software Conference (PREP2004), 2004.
Bibtex Entry:
@INPROCEEDINGS{Papanikolaou2004,
  author = {Nikolaos Papanikolaou},
  title = {A Programming Language for Quantum Communication Systems Design},
  booktitle = {Proceedings of the IEEE Postgraduate Research in Electronics, Photonics,
	Communications and Software Conference (PREP2004)},
  year = {2004},
  address = { University of Hertfordshire, United Kingdom},
  abstract = {Several languages for quantum programming have been proposed before,
	which facilitate the description of algorithms for quantum computers.
	None such language has been developed specifically for protocol design
	and validation. Protocols for quantum cryptography give a guarantee
	of immunity to eavesdropping, but proofs of their unconditional security
	are purely theoretical. The goal of this work is to establish a framework
	for formal definition and validation of quantum protocols.},
  owner = {Nick},
  timestamp = {2010.06.20},
  url = {../files/prepabstract.pdf}
}